function switchVisibility(el){
	if (el.getStyle("display")=="block"){
		el.setStyle("display","none");
	} else {
		el.setStyle("display","block");
	}
}
function mobileRedirect(){
	if(!url){
		url = "http://warndienst.mobi";
	}
	var mobi_exp=/DoCoMo|UP\.[BL]|Windows CE|Xiino|CLDC|LGE|Reqwire|ProxiNet|Mini|Mobi|SEC\-SGH|Symbian|Elaine|EPOC|Berry|Blazer|AvantGo|ASTEL|armv|V80[12]S[AE]|[Pp](alm|DA|DXGW|OCKET|lucker|IE|orta)|iP(hone|od|AQ)|N(itro|etFront|okia)/;
	var isMobile=(navigator.userAgent.search(mobi_exp)>-1)?1:0;
	if (isMobile && !Cookie.get('noMobile')){
		var confirmMe = confirm('Möchten Sie zu unserem mobilen Unwetter-Portal wechseln?');
		if(confirmMe){
			var myCookie = Cookie.set('mobile', true, {domain: 'www.deutscher-warndienst.de', duration: 1});
			window.location.href = url;
		} else {
			var myCookie = Cookie.set('noMobile', true, {domain: 'www.deutscher-warndienst.de', duration: 1});
		}
	}
}
var url = "http://warndienst.mobi";

window.addEvent('domready', function(){
	mobileRedirect();
	var warnTips = new Tips($$('#map area'));
});