// set column heights the same
function setColumn() {
	var leftCol = document.getElementById('div_left');
	var middleCol = (document.getElementById('div_middle')) ? document.getElementById('div_middle') : (document.getElementById('div_fullContent')) ? document.getElementById('div_fullContent') : null;
	var rightCol = (document.getElementById('contentRightBar')) ? document.getElementById('contentRightBar') : null;
	var mainMenu = (document.getElementById('main_menu')) ? document.getElementById('main_menu') : null;
	var numbers = (document.getElementById('div_left_numbers')) ? document.getElementById('div_left_numbers') : null;
	
	// find the highest column
	var highest = (leftCol.offsetHeight);
	highest = ((middleCol)&&(middleCol.offsetHeight>highest)) ? middleCol.offsetHeight : highest;
	highest = ((rightCol)&&(rightCol.offsetHeight>highest)) ? rightCol.offsetHeight : highest;
	
	//highest = (highest-10);  // offset to allow for margins/padding

	if(leftCol) { leftCol.style.height = (highest) + "px"; }
	if(middleCol) { middleCol.style.height = (highest) + "px"; }
	if(rightCol) { rightCol.style.height = (highest) + "px"; }
	
	// set menu height
	if((mainMenu)&&(numbers)) { mainMenu.style.height = (highest-(numbers.offsetHeight)) + "px"; }
	
	//alert(highest);		 // DEV
}

if(window.addEventListener) window.addEventListener("load", setColumn, false); // for non IE browsers
else if(window.attachEvent) window.attachEvent("onload", setColumn);			 // for IE