  function showhide(onoff, what) {
    if (onoff) {
      document.all[what].style.visibility = "visible";
    } else {
      document.all[what].style.visibility = "hidden";
    }
  }
