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

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

<!--
// 画像を一定間隔で入れ替える
// img0.jpg,img1.jpgなどの数字が続いたファイルを複数用意します。
num = 3; // 入れ替える画像の枚数(最初の画像も含める)
nme = "/cg/sub_title" // 画像のディレクトリとファイル名の数字と拡張子より前の部分
exp = "gif" // 拡張子
cnt = 0;
function changeImage() {
  cnt++;
  cnt %= num;
  img.filters.revealTrans.Apply();
  img.style.visibility = "visible";
  img.src = nme + cnt + "." + exp;
  img.filters.revealTrans.Play();

}
//-->