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
		}