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

function starter() { Geladen=true; }