function setPageHeight() {
	
	mainContent_height = document.getElementById('mainContent').offsetHeight;
	secondaryNav_height = document.getElementById('left_nav').offsetHeight;
	
	/*
	alert(mainContent_height);
	alert(secondaryNav_height);
	*/
	
	if((mainContent_height < secondaryNav_height) || (mainContent_height < secondaryNav_height + 150)) {
		document.getElementById('mainContent').style.height = secondaryNav_height + 200 + "px";
	}
	
}