//function mouse over

var timer;

function hideMenu(){
	var browserName = navigator.appName;
	if (browserName == "Netscape"){
		for (i=1 ; i<=4 ;i++){
			if (document.getElementById)
			{
				var temp = eval ('document.getElementById("menu'+i+'")');
				temp.style.visibility="hidden";
			}
			else
			{
				var temp = eval ('window.document.menu'+i);
				temp.visibility="hidden";
			}
		}
	}
	else{
		for (i=1 ; i<=4 ;i++){
			var temp = eval ('window.document.all.menu'+i);
			temp.style.visibility="hidden";
		}
	}
}

function showMenu(i){
	var browserName = navigator.appName;
	hideMenu();
	if (browserName == "Netscape"){
		if (document.getElementById)
		{
			var temp = eval ('document.getElementById("menu'+i+'")');
			temp.style.visibility="visible";
		}
		else
		{
			var temp = eval ('window.document.menu'+i);
			temp.visibility="show";
		}
		
	}
	else{
		var temp = eval ('window.document.all.menu'+i);
		temp.style.visibility="visible";
	}
	if (timer){
		clearInterval(timer);
	}
	
}