// JavaScript Document

function resize(){  
var frame = document.getElementById("main");  
var htmlheight = document.body.parentNode.scrollHeight;  
var windowheight = window.innerHeight;  
windowheight -= 36;
htmlheight -= 36;
if ( htmlheight < windowheight ) { 
	document.body.style.height = windowheight + "px"; frame.style.height = windowheight + "px"; }  
else { 
	document.body.style.height = htmlheight + "px"; frame.style.height = htmlheight + "px"; }  
}