var browser = navigator.userAgent.substring(0,7);
  var version = parseInt(navigator.userAgent.substring(8,9));
  if ((browser == "Mozilla") && (version >= 3))
  {   normal = new makeArray(10);
      hilite = new makeArray(10);

      normal[1].src = "images/males1.gif";
      normal[2].src = "images/females1.gif";
      normal[3].src = "images/matings1.gif";
      normal[4].src = "images/puppies1.gif";
      normal[5].src = "images/dobermann1.gif";
	  normal[6].src = "images/back1.gif";
	  normal[7].src = "images/mail1.gif";

      hilite[1].src = "images/males-animated.gif";
      hilite[2].src = "images/females-animated.gif";
      hilite[3].src = "images/matings-animated.gif";
      hilite[4].src = "images/puppies-animated.gif";
      hilite[5].src = "images/dobermann-animated.gif";
	  hilite[6].src = "images/back-animated.gif";
	  hilite[7].src = "images/mail-animated.gif";
  }
function makeArray(n)
  { this.length = n
    for (var i = 1; i<=n; i++)
      { this[i] = new Image() }
    return this
  }
function onImage(num)
  { if ((browser == "Mozilla") && (version >= 4))
      { document.images[num+1].src = hilite[num].src; }
   }
function offImage(num)
  { if ((browser == "Mozilla") && (version >= 4))
      { document.images[num+1].src = normal[num].src; }
   }