function show(num){
	if(document.getElementById("menu" + num)){
		menu = document.getElementById("menu" + num);
		menu.style.visibility = "visible";
	}
}

function hide(num){
	if(document.getElementById("menu" + num)){
		menu = document.getElementById("menu" + num);
		menu.style.visibility = "hidden";
	}
}