function makeArray(len)
{for (var i = 0; i < len; i++)
{this[i] = null
}
this.length = len
}



var daynames = new makeArray(7)
daynames[0] = "Sonntag"
daynames[1] = "Montag"
daynames[2] = "Dienstag"
daynames[3] = "Mittwoch"
daynames[4] = "Donnerstag"
daynames[5] = "Freitag"
daynames[6] = "Samstag"



var monthnames = new makeArray(12)
monthnames[0] = "01"
monthnames[1] = "02"
monthnames[2] = "03"
monthnames[3] = "04"
monthnames[4] = "05"
monthnames[5] = "06"
monthnames[6] = "07"
monthnames[7] = "08"
monthnames[8] = "09"
monthnames[9] = "10"
monthnames[10] = "11"
monthnames[11] = "12"





/* Zeigt die aktuelle Uhrzeit in einem FORM-Feld an */
function Uhr_anzeigen()
{
var Datum = new Date()
var day = Datum.getDay()
var month = Datum.getMonth()
var year = Datum.getFullYear()
var date = Datum.getDate()
var std = Datum.getHours()
var min = Datum.getMinutes()
var sec = Datum.getSeconds()
tag = ((date < 10) ? " 0" : " ") + date
Zeit = ((std < 10) ? " 0" : " ") + std
Zeit += ((min < 10) ? ":0" : ":") + min
Zeit += ((sec < 10) ? ":0" : ":") + sec
Zeit += " Uhr"
document.write("<nobr>&nbsp;&nbsp;"+ tag+"."+monthnames[month]+"."+year+ "&nbsp;</nobr>");

}

if(document.layers){ //NS4 resize fix.
scrX= innerWidth; scrY= innerHeight;
onresize= function(){if(scrX!= innerWidth || scrY!= innerHeight){history.go(0)} };
}