<!--
function show (num) {
	var i;
	for (i=0;i<3;i++) {
		document.getElementById("menu_"+i).style.visibility = "hidden";
	}
	document.getElementById("menu_"+num).style.visibility = "visible";
}
-->