<!--
// test the browser for ie or nets version 3 or greater
if ((navigator.appVersion.substring(0,1) >= 3) && 
    (navigator.appName == ("Netscape") || 
    (navigator.appName == "Microsoft Internet Explorer"))) 
   {
    // build the array for on images (when mouseover) and off
     offImages = new Array();
     onImages = new Array();
 
     for (var i = 0; i <= 7; i++) 
        {
         offImages[i] = new Image();
         offImages[i].src = "http://www.miner.com/images/n" + i + "d.gif";
         onImages[i] = new Image();
         onImages[i].src = "http://www.miner.com/images/n" + i + "s.gif";
        }
   }

// swap to the on images when mouseover
function on(i) 
  {
   if (document.images) 
     {
      var itemname = "n" + i;
      document.images[itemname].src = onImages[i].src;
     }
  }

// swap to the off images when mouseout
function off(i) 
  {
   if (document.images) 
     {
      var itemname = "n" + i;
      document.images[itemname].src = offImages[i].src;
     }
  }
// -->