function setsize() 
{
	var winheight = window.innerHeight || (window.document.documentElement.clientHeight || window.document.body.clientHeight);
	var divheight = document.getElementById("content").offsetHeight;
	if ( winheight > divheight )
		{		
				document.getElementById("content").style.height = (winheight - 127) + 'px';
		}
}