/* -- change_top -- */

        if (document.images) { 
            img1on = new Image();
            img1on.src = "img/menu_09.gif";
            img2on = new Image();
            img2on.src = "img/menu_10.gif";
            img3on = new Image();
            img3on.src = "img/menu_08.gif";
            img4on = new Image();
            img4on.src = "img/menu_06.gif";
            

            img1off = new Image();
            img1off.src = "img/top_09.gif";
            img2off = new Image();
            img2off.src = "img/top_10.gif";
            img3off = new Image();
            img3off.src = "img/top_08.gif";
            img4off = new Image();
            img4off.src = "img/top_06.gif";


        }
function imgOn(imgName) {
        if (document.images) {
            document[imgName].src = eval(imgName + "on.src");
        }
}
function imgOff(imgName) {
        if (document.images) {
            document[imgName].src = eval(imgName + "off.src");
        }
}