// rollover functions

   if (document.images) {

     imagearray = new Array();

     imagearray[0] = "img/nav1.gif";
     imagearray[1] = "img/nav1on.gif";

     inum = new Array();

     for (i=0; i<imagearray.length; i++) {
          inum[i] = new Image();
          inum[i].src = imagearray[i];
     }
}

function imgchange (imgName, imagenum) {
   if (document.images) {
     if (navigator.appName.indexOf("Microsoft Internet Explorer") {
         // Internet Explorer
         document[imgName].filters(0).apply();
         document[imgName].src = inum[imagenum].src;
     document[imgName].filters(0).play();
     } else {
         // Other browsers that don't support it
         document[imgName].src = inum[imagenum].src;
     }
   }
}