// Pre-load non-rollover, non-menu images into browser cachefunction preloadImages () {/*   var d=document; // For convenience   if (!d.genericImages) d.genericImages = new Array();   if (d.images) {      var a = preloadImages.arguments;      var x;      var y = d.genericImages.length;      for (x = 0; x < a.length; x++) {         d.genericImages[y] = new Image;         d.genericImages[y].src = a[x];         y++;      }   }*/}// Turn just roll-overs off, leaving menus alone.function rollOffRollovers () {   for (var rollOverName in document.rollOverNames) {      imgOff(document.rollOverNames[rollOverName],             document.rollOverExts[rollOverName]);   }}// Turn a roll-over "on"function imgOn (imgName,imgExt) {   rollOffRollovers();   document[imgName].src = "../../images/" + imgName + "-over." + imgExt;}// Turn a roll-over "off"function imgOff (imgName,imgExt) {   document[imgName].src = "../../images/" + imgName + "." + imgExt;}