NS4=(document.layers)?1:0;
NS6=(document.getElementById)?1:0;
IE=(document.all)?1:0;

menu_active=false;
function show(what,menu1){
	if(menu_active){
		hide(what);
	}
	if(!menu_active){
		if(NS6) document.getElementById(what).innerHTML = menu[menu1];
		if(NS4) document.layers[what].document.write(menu[menu1]);
		if(IE) document.all(what).innerHTML = menu[menu1];
		menu_active=what;
	}
}
function hide(what){
	if(menu_active){	
		if(NS6) document.getElementById(what).innerHTML = "";
		if(NS4) document.layers[what].document.write("");
		if(IE) document.all(what).innerHTML = "";
		menu_active=false;
	}
}