function getMonthName(month) {
	// create array to hold name of each month
	var ar = new Array(12)
	ar[0] = "Januar"
	ar[1] = "Februar"
	ar[2] = "März"
	ar[3] = "April"
	ar[4] = "Mai"
	ar[5] = "Juni"
	ar[6] = "Juli"
	ar[7] = "August"
	ar[8] = "September"
	ar[9] = "Oktober"
	ar[10] = "November"
	ar[11] = "Dezember"

	// return name of specified month (parameter)
	return ar[month]
}

function setDate() {
	// standard time attributes
	var now = new Date()
	var year = now.getYear()
	if (year < 1900)
	   year = year + 1900
	var month = now.getMonth()
	var day = now.getDay()
	var monthName = getMonthName(month)
	var date = now.getDate()

	document.write(dayName(day) + ", " + date +". " + monthName + " " +year) 
}

function dayName(day) {
	
	// create array of abbreviated day names
	var weekDay = new Array(7)
	weekDay[0] = "Sonntag"
	weekDay[1] = "Montag"
	weekDay[2] = "Dienstag"
	weekDay[3] = "Mittwoch"
	weekDay[4] = "Donnerstag"
	weekDay[5] = "Freitag"
	weekDay[6] = "Samstag"
	return weekDay[day]
}