<!--
function menuon(x){
	obj=document.getElementById("submenu"+x)
						.style.visibility="visible";
}

function menuoff(x){
	obj=document.getElementById("submenu"+x)
						.style.visibility="hidden";
}
// -->