// JavaScript Document

function resizeDiv1() { 
  var myWidth = 0, myHeight = 0;
  if( typeof( window.innerHeight ) == 'number' ) {
    //Non-IE
    myHeight = window.innerHeight;
	 myHeight =  (myHeight - 115) + "px"
  } else if( document.documentElement &&
      ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
    //IE 6+ in 'standards compliant mode'
    myHeight = document.documentElement.clientHeight;
	 myHeight =  (myHeight - 115)
  } else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
    //IE 4 compatible
    myHeight = document.body.clientHeight;
	 myHeight =  (myHeight - 115)
  }
  document.getElementById("fullbody").style.height = myHeight;
}