get_element = document.all ?
function (s_id) { return document.all[s_id] } :
function (s_id) { return document.getElementById(s_id) };

function getHeight(name) {    
	var tmpElem = get_element(name);
	
	if(tmpElem.currentStyle) return tmpElem.offsetHeight;       
	else return parseInt(document.defaultView.getComputedStyle(tmpElem, "").getPropertyValue("height"));	
	
}

function setHeight(left,middle,right) {
	var left1 = get_element(left);
	var middle1 = get_element(middle);
	var right1 = get_element(right);
	
	var left_height = getHeight(left);	
	var middle_height = getHeight(middle);
	var right_height = getHeight(right);
	
	
	if ((left_height >= middle_height) && (left_height >= right_height)){
		middle1.style.height = left_height+"px";
		right1.style.height = left_height+"px";
	}
	
	else if ((middle_height >= left_height) && (middle_height >= right_height)){
		left1.style.height = middle_height+"px";
		right1.style.height = middle_height+"px";
	}
	
	else if ((right_height >= left_height) && (right_height >= middle_height)){
		left1.style.height = right_height+"px";
		middle1.style.height = right_height+"px";
	}
	
}