<!--
function Datum(n)
{
this.length = n
return this
}
	
monthNames = new Datum(12)
monthNames[1] = "Jan."
monthNames[2] = "Feb."
monthNames[3] = "M&auml;rz"
monthNames[4] = "April"
monthNames[5] = "Mai"
monthNames[6] = "Juni"
monthNames[7] = "Juli"
monthNames[8] = "Aug."
monthNames[9] = "Sep."
monthNames[10] = "Okt."
monthNames[11] = "Nov."
monthNames[12] = "Dez."

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
	}
// -->