var currentmenu=new Array();

function show(arg){
	var i,o;
	for(i in currentmenu){
		currentmenu[i]=false;
		h(i);
	}
	currentmenu[arg]=true;
	o=document.getElementById(arg);
	o.style.visibility="visible";
}

function h(arg){
	var o;
	if(currentmenu[arg]==false){
		o=document.getElementById(arg);
		if(o.style.visibility!="hidden"){
			o.style.visibility="hidden";
		}	
	}	
}

function hide(arg){
	currentmenu[arg]=false;
	window.setTimeout("h(\'"+arg+"\')",250);
}