/* ===== Subnavigation start ===== */
var lastdiv = "";
var woher;
var globalsubnavtimeout;
  
function showDropdown (woher) {  
	hideDropdown();
	lastdiv = woher;
	document.getElementById(woher).style.visibility = "visible";       
}

function hideDropdown() { 
	if (lastdiv != "") { 
		document.getElementById(lastdiv).style.visibility = "hidden";     
	}
}    

/* hideextra dient dazu, dass aufgeklappte div zu schliessen, wenn man von diesem aus ueber einen ANDEREN hauptpunkt geht*/
function hideextra(subnavdiv1,subnavdiv2) { 
  	 document.getElementById(subnavdiv1).style.visibility = "hidden";     
	 document.getElementById(subnavdiv2).style.visibility = "hidden";     
}    
 
function mainout() {
	globalsubnavtimeout = setTimeout("hideDropdown()",1000);
} 

function subtimeout () {
	clearTimeout(globalsubnavtimeout);
}

/* ===== Subnavigation ende ===== */