function body_vsize () {
  document.getElementById('body').style.height=document.documentElement.clientHeight-170+"px";
}