<script type="text/javascript">

<!-- UNUSED FUNCTION -->
function adjust_heights()
{
	var wrapper_height=document.getElementById('wrapperdiv').offsetHeight;
	var maincontheight = wrapper_height - 296;
	var maincontdiv = document.getElementById('maincontentdiv');
	maincontdiv.style.height = maincontheight + "px";
	
	var maincontmainheight = maincontheight - 20;
	var maincontmaindiv = document.getElementById('maincontentmain');
	maincontmaindiv.style.height = maincontmainheight + "px";
}

</script>
