function Datum(n) {

                        this.length = n

                        return this

                        }



                monthNames = new Datum(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 Datum(7)

                dayNames[1] = "Sonntag"

                dayNames[2] = "Montag"

                dayNames[3] = "Dienstag"

                dayNames[4] = "Mittwoch"

                dayNames[5] = "Donnerstag"

                dayNames[6] = "Freitag"

                dayNames[7] = "Samstag"



                function customDateString(oneDate) {

                        var theDay = dayNames[oneDate.getDay() + 1]

                        var theMonth = monthNames[oneDate.getMonth() + 1]

                        var theYear = oneDate.getYear()

                        if(theYear<1000) theYear+=1900

                        return theDay + ", der " + oneDate.getDate() + ". " + theMonth + " " + theYear

                }