;
 
  function   onopen(div_id)   
  {   
  div_name   =   document.getElementById(div_id)   
  div_name.style.visibility   =   "visible"   
  }   
    
  function   onoff(div_id)   
  {   
  div_name   =   document.getElementById(div_id)   
  div_name.style.visibility   =   "hidden"                                                       
  }   
    
  function   view_on(view)   
  {   
  view.style.top   =   "0"   
  }   
    
  function   view_off(view)   
  {   
  view.style.top   =   "-116"   
  }