var Geladen = false;
var hidetime;

function hideMenu(menu){
	if(Geladen)
		document.getElementById(menu).style.visibility='hidden';
}

function showMenu(menu){
	if(Geladen){
		for(var i=1;i<9;++i){
			if(i!=menu && document.getElementById('subnav_'+i))
				hideMenu('subnav_'+i);
		}
		window.clearTimeout(hidetime);
		document.getElementById(menu).style.visibility='visible';
	}
}

function menuTimer(menu){
	if(Geladen)
		hidetime = window.setTimeout("hideMenu('"+menu+"')",1000);
}