//--- Deselektion des aktiven Menuepunktes bei mouseover ueber anderen Punkt
function menue_over() {
	if(document.getElementById("submenue-active")) {
		document.getElementById("submenue-active").className = "submenue-inactive";
		document.getElementById("submenue-active").id = "submenue-active-tmp";
	}
}

//--- Selektion des aktiven Menuepunktes bei mouseout bei einem anderen Punkt
function menue_out() {
	if(document.getElementById("submenue-active-tmp"))
		document.getElementById("submenue-active-tmp").className = "";
		document.getElementById("submenue-active-tmp").id = "submenue-active";
}