function hide () {
  if (document.getElementById)
    document.getElementById("choisir").style.visibility = "hidden";
}