function height()
{
  var x;
  if (navigator.appName == "Netscape")
    x = window.innerHeight;
  else
    x = document.body.clientHeight;
                
  x = x - 14 - 23 - 4 - 4;
      
  document.getElementById("area").style.height = x;
}