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){
	if(tmpElem.currentStyle) return tmpElem.offsetHeight;       
	else return parseInt(document.defaultView.getComputedStyle(tmpElem, "").getPropertyValue("height"));  
	} 
}

function setHeight(name1,name2) {
	var tmpElem1 = get_element(name1);
	var tmpElem2 = get_element(name2);
	
	var height1 = getHeight(name1);
	var height2 = getHeight(name2);
	
	var tmpElem = new Array(tmpElem1,tmpElem2);
	var height = new Array(height1,height2);
	
	
	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++){
		if (tmpElem[i]) {		
				tmpElem[i].style.height = maxHeight+"px";
		}
	}
}

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