//# JS für Navigation (Anzeigen der Untermenüs) ###############
var timer, akt_menue;
function over(obj_id) {	//# Hauptmenüs: mouseover
	if (typeof akt_menue == "undefined") {
		akt_menue = obj_id;
	}
	else	//# vorheriges Menü sofort schließen
		//document.getElementById("menue_" + akt_menue).style.display = "none";
		ausblenden();
	document.getElementById("menue_" + obj_id).style.display = "block";	//# Menü einblenden
	akt_menue = obj_id;
	cleartime();
}

function cleartime() {	//# setTimeout beenden
	window.clearTimeout(timer);
}

function out() {	//# nach Verlassen eines Menüeintrags -> Menü nach einer halben Sekunde schließen
	timer = window.setTimeout("ausblenden()", 500);
}

function ausblenden() {	//# aktuelles Menü schließen; Fkt.aufruf über out()
	//# Wird Hauptmenü ohne Untermenü zum ersten Mal berührt, ist akt_menue "undefined"
	if (typeof akt_menue != "undefined") {
		document.getElementById("menue_" + akt_menue).style.display = "none";
	}
}