var menuimg = new Array;
menuimg[0] = "menu01_off.gif";
menuimg[1] = "menu01_on.gif";
menuimg[2] = "menu02_off.gif";
menuimg[3] = "menu02_on.gif";
menuimg[4] = "menu03_off.gif";
menuimg[5] = "menu03_on.gif";
menuimg[6] = "menu04_off.gif";
menuimg[7] = "menu04_on.gif";
menuimg[8] = "menu05_off.gif";
menuimg[9] = "menu05_on.gif";
menuimg[10] = "menu06_off.gif";
menuimg[11] = "menu06_on.gif";
menuimg[12] = "menu07_off.gif";
menuimg[13] = "menu07_on.gif";
function change_menu(flg,position){
document.images[position].src = menuimg[flg];
}