  <!--
    function hide_p()
    {
      var p;

      if (document.all)
        p = document.all.keyw;
      else
        p = document.getElementById("keyw");

      p.style.visibility = "hidden";
    }
  //-->