// Animierte Buttons

function hoover(id,src)
{
	document.getElementById(id).src = src;
}

// Datumsausgabe

function printDate()
{
	// Datum ermitteln

	var date = new Date();

	// Jahr

	var year = date.getFullYear();

	// Monat

	var months = new Array("Januar", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", 	"November", "Dezember");
	var month = date.getMonth();

	// Tag

	var day = date.getDate();

	// Wochentag

	var weekdays = new Array("Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag");
	var weekday = date.getDay();

	// Ausgabe

	document.write (weekdays[weekday] + ", " + day + ". " + months[month] + " " + year);
}