function resizeLeftColSpacer() {
	var newsHeight = 120;
	var middleColHeight = document.getElementById('maincentercol').offsetHeight;
	var rightColHeight = document.getElementById('mainrightcol').offsetHeight;
	var leftNavHeight = document.getElementById('mainleftnav').offsetHeight;
	
	// Is the right column bigger then the middle column?
	if (rightColHeight > middleColHeight) middleColHeight = rightColHeight;
	

    // Calculate the spacer height
	var spacerHeight = middleColHeight - newsHeight - leftNavHeight;
	
	// Set the spacer height
	if (spacerHeight > 0) document.getElementById('leftcolspacer').style.height = spacerHeight+'px';
	}