// Image swapper script.
// (c)1999 by Roberto Piga <rpiga@geocities.com>
// Freeware

// Preload images.
        img0ini = new Image();
        img0ini.src = "pix/menu_1.gif";
        img0ovr = new Image();
        img0ovr.src = "pix/menu_1b.gif";
		
        img1ini = new Image();
        img1ini.src = "pix/menu_2.gif";
        img1ovr = new Image();
        img1ovr.src = "pix/menu_2b.gif";
		
        img2ini = new Image();
        img2ini.src = "pix/menu_3.gif";
        img2ovr = new Image();
        img2ovr.src = "pix/menu_3b.gif";
		
        img3ini = new Image();
        img3ini.src = "pix/menu_4.gif";
        img3ovr = new Image();
        img3ovr.src = "pix/menu_4b.gif";

function Img_Over(img) {
        imgOn = eval(img + "ovr.src");
        document [img].src = imgOn;
}

function Img_Init(img) {
        imgOff = eval(img + "ini.src");
        document [img].src = imgOff;
}