// sets height of left hand panel equal to the height of either the center content panel or the right content panel depending on which of these is greater (tallest)
setLeftNavHeight = function () {
	var leftNavDom = document.getElementById("leftnav");
	var centerMainDom = document.getElementById("centermain");
	var rightContentDom = document.getElementById("rightcontent");

	if (leftNavDom && centerMainDom && rightContentDom) {
		if (centerMainDom.offsetHeight > leftNavDom.offsetHeight && centerMainDom.offsetHeight > rightContentDom.offsetHeight - 127) {
			leftNavDom.style.height = centerMainDom.offsetHeight - 2 + "px";
		}
		else if (rightContentDom.offsetHeight - 127 > leftNavDom.offsetHeight && rightContentDom.offsetHeight - 127 > centerMainDom.offsetHeight) {
			leftNavDom.style.height = rightContentDom.offsetHeight - 127 + "px";
		}
	}
}

window.onload = setLeftNavHeight;