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(name1,name2,name3,name4) {
	var tmpElem1 = get_element(name1);
	var tmpElem2 = get_element(name2);
	var tmpElem3 = get_element(name3);
	var tmpElem4 = get_element(name4);
	
	var height1 = getHeight(name1);
	var height2 = getHeight(name2);
	var height3 = getHeight(name3);
	var height4 = getHeight(name4);
	
	var tmpElem = new Array(tmpElem1,tmpElem2,tmpElem3,tmpElem4);
	var height = new Array(height1,height2,height3,height4);
	
	
	var j=0;
	for(i=0;i<height.length;i++){
		if(height[i]>height[j])
			j=i;
	}
	
	var maxHeight = height[j];
	
	for(i=0;i<height.length;i++){		
			tmpElem[i].style.height = maxHeight+"px";
	}
}