<!--
img = new Array();
for (i = 0; i <= 17; i++) {
       img[i] = new Image() ;
       img[i].src = "../../images/button/button_on_" + i + ".gif";
    }

    function imageOn(n) {
        document.images['menu'+n].src = img[n].src;
    }

    function imageOff(n) {
        document.images['menu'+n].src = "../../images/button/button_off_" + n + ".gif";
    }
//-->

