function imgOver(imgEl) { imgEl.src = imgEl.src.replace(".gif", "_on.gif")}
  function imgOut(imgEl) { imgEl.src = imgEl.src.replace("_on.gif", ".gif")}