function setTall(string1, string2, string3, string4) {
	if (document.getElementById) {
	var divs = 
	new Array(document.getElementById(string1), document.getElementById(string2), document.getElementById(string3), document.getElementById(string4));
		var maxHeight = 0;
		for (var i = 0; i < divs.length; i++) {
			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';
			}
		}
	}
}