function resizeDiv() {
	var bodyDivh = document.getElementById('bodyContent').offsetHeight;
	var leftDivh = document.getElementById('main_nav_2').offsetHeight + 20;
	var maxHeight = (bodyDivh>leftDivh)?bodyDivh:leftDivh;
	document.getElementById('coreImage').style.height = maxHeight+'px';
	}