browserName = navigator.appName;
browserVer = parseInt(navigator.appVersion);
if (browserName == "Netscape" && browserVer >= 3) version = "ok";
else if (browserName == "Microsoft Internet Explorer" && browserVer >= 4)
{
	version = "ok";
	var layers=document.all.tags ("DIV");
}
else version = "not";

function MM_reloadPage(init)
{  //reloads the window if Nav4 resized
	if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4))
	{
    	document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage;
	}}
	else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}

MM_reloadPage(true);

function showlayer (layerno,imgname)
{
	if (version=="ok")
	{

		if (document.layers)
		{
			window.document.layers[0].visibility = "hidden";
			window.document.layers[layerno].visibility = "visible";
		}
		else
		{
			// Kein document davor weil Variable s.o.
			layers[0].style.visibility = "hidden";
			layers[layerno].style.visibility = "visible";
		}
        imgOn = eval(imgname + "on.src");
        document [imgname].src = imgOn;
	}
}

function hidelayer (layerno,imgname)
{
	if (version=="ok")
	{
		if (document.layers)
		{
			window.document.layers[layerno].visibility = "hidden";
			window.document.layers[0].visibility = "visible";
		}
		else
		{
			layers[layerno].style.visibility = "hidden";
			layers[0].style.visibility = "visible";
		}
        imgOn = eval(imgname + "off.src");
	document [imgname].src = imgOn;
	}
}

function showimg (imgname)
{
	imgOn = eval(imgname + "on.src");
	document [imgname].src = imgOn;
}

function hideimg (imgname)
{
	imgOn = eval(imgname + "off.src");
	document [imgname].src = imgOn;
}

function isIE()
{
 if (navigator.appName == "Microsoft Internet Explorer") return true;
 else return false;
}

function MakeArray(n)
{
this.length = n
return this
}
monthNames = new MakeArray(12)
monthNames[1] = "Januar"
monthNames[2] = "Februar"
monthNames[3] = "März"
monthNames[4] = "April"
monthNames[5] = "Mai"
monthNames[6] = "Juni"
monthNames[7] = "Juli"
monthNames[8] = "August"
monthNames[9] = "September"
monthNames[10] = "Oktober"
monthNames[11] = "November"
monthNames[12] = "Dezember"
dayNames = new MakeArray(7)
dayNames[1] = "Sonntag"
dayNames[2] = "Montag"
dayNames[3] = "Dienstag"
dayNames[4] = "Mittwoch"
dayNames[5] = "Donnerstag"
dayNames[6] = "Freitag"
dayNames[7] = "Samstag"

function dayPart(oneDate)
{
 var theHour = oneDate.getHours()
 if (theHour <3 )
 return "wir haben auch Nachts geöffnet"
 if (theHour < 11)
 return "guten Morgen"
 if (theHour < 18)
 return "guten Tag"
 return "guten Abend"
}

function customDateString(oneDate)
{
 var theDay = dayNames[oneDate.getDay() + 1]
 var theMonth = monthNames[oneDate.getMonth() + 1]
 var theYear = oneDate.getFullYear()
 return theDay + ", " + oneDate.getDate() +  "." + theMonth +  " " + theYear
}
