if (document.images) {

	var top31On = new Image();
      top31On.src = "../icons/top_on.gif";
      var top31Off = new Image();
      top31Off.src = "../icons/top_off.gif";

}

function changeIn(imageName) {
      if (!document.images) return;
      document.images[imageName].src = eval(imageName + "On.src");
}

function changeOut(imageName) {
      if (!document.images) return;
      document.images[imageName].src = eval(imageName + "Off.src");
}


document.write('<a onmouseover="changeIn(\'top31\');" onmouseout="changeOut(\'top31\');" href="#top"><img src="../icons/top_off.gif" name="top31" border=0 width="96" height="28" vspace="1"></a>')