function change_img(name, flag) {
    if(flag == "on") {
        document.getElementById(name).src = "/img/menu_"+name+"1.gif";
    } else {
        document.getElementById(name).src = "/img/menu_"+name+".gif";
    }
}