/* グローバルメニュー
---------------------------------------------------- */

function MenuOn(x) {
		obj = document.getElementById("submenu"+x).style.visibility="visible";
}

function MenuOff(x) {
		obj = document.getElementById("submenu"+x).style.visibility="hidden";
}