// JavaScript Document

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 + ", " + oneDate.getDate() + ". " + theMonth + " " + theYear
		}