if(document.images) {
                menuover = new Array(10);
                menuout = new Array(10);
                menuover[1]=new Image;
                menuout[1]=new Image;
                for(var n=2;n<=9;n++) {
                        menuover[n]=new Image;
                        menuout[n]=new Image;
                }
                for(var n=1;n<=9;n++) {
                        menuover[n].src="menu/menu"+n+"b.gif";
                        menuout[n].src="menu/menu"+n+".gif";
                }
        }
        function menuOn(i) {
                if(document.images) document.images["menu" + i].src=menuover[i].src;
        }
        function menuOff(i) {
                if(document.images) document.images["menu" + i].src=menuout[i].src;
        }