// JavaScript Document
function setEqual(a,b,c) {
	if(document.getElementById) {
		var divs = new Array(document.getElementById(a), document.getElementById(b), document.getElementById(c));
		var maxHeight = 0;
		for(var i = 0; i < divs.length; i++) {
			divs[i].style.height = 'auto';
			if (divs[i].offsetHeight > maxHeight) {
				maxHeight = divs[i].offsetHeight;
			}
		}
		for (var i = 0; i < divs.length; i++) {
			divs[i].style.height = maxHeight + 'px';
			if (divs[i].offsetHeight > maxHeight) {
				divs[i].style.height = (maxHeight - (divs[i].offsetHeight - maxHeight)) + 'px';
			}
		}
	}
}
