// define image files and give the filenames

//Explore
img11     = new Image(83,22);
img11.src = "img/menuExplore.gif";
img12     = new Image(83,22);
img12.src = "img/menuExplore-o.gif";

//Shop
img21     = new Image(83,22);
img21.src = "img/menuShop.gif";
img22     = new Image(83,22);
img22.src = "img/menuShop-o.gif";

//Locate
img31     = new Image(83,22);
img31.src = "img/menuLocate.gif";
img32     = new Image(83,22);
img32.src = "img/menuLocate-o.gif";

// change image

function changeimage(imgx,placex)  { 
    if (document.images) { 
        document.images[placex].src = eval(imgx + ".src");
    }
}

// -->