var hidetime;
var Menues = Array();
Menues[0] = 'menu';
Menues[1] = 'menu_top';

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

function showMenu(menu){
	if(Geladen){
		for(var i=0;i<Menues.length;++i){
			if(Menues[i]!=menu && document.getElementById(Menues[i]))
				hideMenu(Menues[i]);
		}
		window.clearTimeout(hidetime);
		document.getElementById(menu).style.visibility='visible';
	}
}

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