// JavaScript 1.1: Highlight button script
// Author: Copyright 1999-2000, Chris Colefax

   var useHButtons = (parseFloat(navigator.appVersion) >= 3.0);

   if (useHButtons) {
      var HImgs = new Array(); var CImg = new Image(); var LastBNumber = -1;
      }

   function ButtonOn (BNumber) { if (useHButtons) {
      if (LastBNumber != -1 && LastBNumber != BNumber) { ButtonOff () }
      CImg.src = document.images["Button" + BNumber].src;
      document.images["Button" + BNumber].src = HImgs[BNumber].src;
      LastBNumber = BNumber;
      }}

   function ButtonOff () { if (useHButtons) {
      document.images["Button" + LastBNumber].src = CImg.src;
      LastBNumber = -1;
      }}