function highlight(imgName, onOrOff) {
   newImage = new Image();
   if (onOrOff == "on") {
      newImage.src = "/img/menu/" + imgName + "_on.gif";
   } else {
      newImage.src = "/img/menu/" + imgName + ".gif";
   }
   document[imgName].src = newImage.src;
}