function cherhide () {
  if (document.getElementById)
    document.getElementById("chercher").style.visibility = "hidden";
}