// JavaScript Document
function msover(num) {
    document.all["menu_" + num].src = "./images/main_menu_"+num+"_on.gif";
}

function msout(num) {
    document.all["menu_" + num].src = "./images/main_menu_"+num+"_off.gif";
}