// Animierte Buttons

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

// Dropdown Menu

var timer;
var lastDropdownId;

function dropdown(buttonId,src,dropdownId,value)
{
	// Hoover-Button
	
	document.getElementById(buttonId).src = src;
	
	// Dropdown-Menu
	
	if (value) // onMouseOver
	{
		document.getElementById(dropdownId).style.visibility = "visible"; // Dropdown-Menu anzeigen
		
		if (lastDropdownId == dropdownId) // wenn sich dropdownId geändert hat -> andere Spalte -> Timer nicht deaktivieren und alte Spalte löschen
		{
			clearTimeout(timer);
		}
		
		lastDropdownId = dropdownId; // Aktuelle Spalte letzter aktiver Spalte zuweisen
	}
	else // onMouseOut
	{
		timer = setTimeout("document.getElementById('" + dropdownId + "').style.visibility = 'hidden'", 10); // Dropdown-Menu mit Timer verstecken
	}
}

// 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);
}