<!--
   numImages = 32;
   rpiImages = new Array((numImages*2))
   for(i = 1; i <= 32; i++)
      {
      rpiImages[i] = new Image();
      rpiImages[i+numImages] = new Image();
      rpiImages[i].src = "images2/nav"+i+"rest.gif";
      rpiImages[i+numImages].src = "images2/nav"+i+"over.gif";
      }
 function on_image(loc, img)
        {
                img+=numImages;
                document.images[loc].src=rpiImages[img].src;
        }
function off_image(loc, img) 
        {
                document.images[loc].src=rpiImages[img].src;
        }
//-->