function subnav (id) {
    if (document.getElementById)
      document.getElementById(id).style.visibility = "visible";
  }

  function delsubnav (id) {
    if (document.getElementById)
      document.getElementById(id).style.visibility = "hidden";
  }