// Necessary to declare these here for browsers with less than JavaScript 1.1.
one=null;
two=null;
three=null;
four=null;
five=null;
intro=null;
function off_image(img) { }
function on_image(loc, img) {  }

// Preload 10 images to memory.
menuImages = new Array(12)
for(i = 1; i < 12; i++)
   {
   menuImages[i] = new Image(80,13)
   menuImages[i].src = "images/menu1"+i+".gif"
   }

// Called by onMouseOver - change image to orange.
function on_image(loc, img)
   { loc.src=menuImages[img].src; }

// Called by onMouseOut - change image back to white.
function off_image(loc, img) 
   { loc.src=menuImages[img].src; }