a1 = new Image(); a1.src = "images/navmenus1.gif"; // when mouse is not over the image
a2 = new Image(); a2.src = "images/navmenus2.gif"; // when mouse is over the image
b1 = new Image(); b1.src = "images/navwho1.gif"; // when mouse is not over the image
b2 = new Image(); b2.src = "images/navwho2.gif"; // when mouse is over the image
c1 = new Image(); c1.src = "images/navdelly1.gif"; // when mouse is not over the image
c2 = new Image(); c2.src = "images/navdelly2.gif"; // when mouse is over the image
d1 = new Image(); d1.src = "images/navsouvenir1.gif"; // when mouse is not over the image
d2 = new Image(); d2.src = "images/navsouvenir2.gif"; // when mouse is over the image
e1 = new Image(); e1.src = "images/navannapolis1.gif"; // when mouse is not over the image
e2 = new Image(); e2.src = "images/navannapolis2.gif"; // when mouse is over the image
f1 = new Image(); f1.src = "images/navlinks1.gif"; // when mouse is not over the image
f2 = new Image(); f2.src = "images/navlinks2.gif"; // when mouse is over the image
g1 = new Image(); g1.src = "images/navhome1.gif"; // when mouse is not over the image
g2 = new Image(); g2.src = "images/navhome2.gif"; // when mouse is over the image


function PicChange(ImageName,NewImage) {

//script to change the ImageName to NewImage
document.images[ImageName].src = eval(NewImage + ".src")}