// array function
        function makeArray(len) 
        {       for (var i = 0; i < len; i++)
                {       this[i] = null
                }
                this.length = len
        }
// array of day names
        var daynames = new makeArray(7)
        daynames[0] = "Sunday"
        daynames[1] = "Monday"
        daynames[2] = "Tuesday"
        daynames[3] = "Wednesday"
        daynames[4] = "Thursday"
        daynames[5] = "Friday"
        daynames[6] = "Saturday"
        
// array of month names
        var monthnames = new makeArray(12)
        monthnames[0] = "Januar"
        monthnames[1] = "Februar"
        monthnames[2] = "März"
        monthnames[3] = "April"
        monthnames[4] = "Mai"
        monthnames[5] = "Juni"
        monthnames[6] = "July"
        monthnames[7] = "August"
        monthnames[8] = "September"
        monthnames[9] = "Oktober"
        monthnames[10] = "November"
        monthnames[11] = "Dezember"

// define date variables
        var now = new Date()
        var day = now.getDay()
        var month = now.getMonth()
        var year = 1900 + now.getYear()
        var date = now.getDate()
        var hour=now.getHours()
        var minutes=now.getMinutes()
           
// write date
        function writeDate()
        {       document.write("<FONT COLOR='FFFFFF' FACE='Courier New' SIZE='-1'>" + "<FONT SIZE='5'>" + "<b>|</b>" +"<FONT SIZE='-1'>" +monthnames[month]+ " " + date + " " + "</FONT>")
        }

/*       {       document.write("<FONT COLOR='FFFFFF' FACE='Arial' SIZE='-1'>" +      monthnames[month] + " " + date + " + "<FONT SIZE='1'>" + " | " + "<FONT SIZE='-1'>" "  "      +"</FONT>")
        }
*/