function contentDivHeight(){
	desiredHeight = document.getElementById('left_column').offsetHeight;
	if(desiredHeight > document.getElementById('middle_column').offsetHeight) document.getElementById('middle_column').style.height = desiredHeight + "px";
}