function adjustHeight() 
{ 
	// Calculate the height of the header. 
	var headerHeight = 0; 
	var header = document.getElementById("divHeader"); 
	var menu = document.getElementById("divMenu"); 
	var sitemap = document.getElementById("divSiteMap"); 

	if (header != null) 
	{
		headerHeight = header.offsetHeight + menu.offsetHeight + sitemap.offsetHeight; 
	} 

	// Calculate the height of the footer section. 
	var footerHeight = 0; 
	var footer = document.getElementById("footer"); 
	if (footer != null) 
	{ 
		footerHeight = footer.offsetHeight; 
	} 

	// Calculate the height of application components that are always visible. 
	var applicationHeight = headerHeight + footerHeight; 

	// Target height for the remainder of the screen is the browser height 
	// minus the height of the fixed components. 
	var targetHeight = document.body.clientHeight - applicationHeight; 

	// Adjust the height of the scrollable segment. 
	var scroller = document.getElementById("divPlaceHolder"); 
	
	if (scroller != null) 
	{ 
		//targetHeight -= 8;
		scroller.style.setExpression("height", targetHeight); 
	} 
} 

window.onload = adjustHeight;
window.onresize = adjustHeight;