// JavaScript Document


  function show_search (){
    var element = document.getElementById("wrapper");
    var y = element.offsetHeight - 1 + "px";

      document.getElementById("menu").style.height = y ;

      }