<!--
   // Mouse rollover action to change border
   function borderRollOver(imgID, bOver) {
      if (document.images && document.all) {  // border rollover feature only available for IE, until we figure out NS
         // change the border size when rolling over the thumbs
         thumbnail = document.images[imgID];
         if (bOver) {
	    thumbnail.border = 4;
	    thumbnail.vspace -= 2;
	    thumbnail.hspace -= 2;
	    }
         else {
	    thumbnail.border = 2;
	    thumbnail.vspace += 2;
	    thumbnail.hspace += 2;
	    }
         }
      }

   // Mouse rollover action to flip image with separate ID from path
   function imageFlipID(imgID, imgPrefix, bOver) {
      // flip the thumbnail image
      if (document.images) {
	 thumbnail = document.images[imgID];
         if (bOver) { thumbnail.src = imgPrefix + "Over.gif"; }
         else { thumbnail.src = imgPrefix + ".gif"; }
         }
      }

   // Mouse rollover action to flip image
   function imageFlip(imgID, bOver) {
      imageFlipID(imgID, imgID, bOver);
      }
//-->