function divSize(divID) {
	if ((document.getElementById) && (document.styleSheets)) {
		var maxHeight = 0;
		var baseElem  = document.getElementById(divID);
		for (i = 0; i < baseElem.childNodes.length; i++) { 
			if (baseElem.childNodes[i].offsetHeight > maxHeight) { maxHeight = baseElem.childNodes[i].offsetHeight; } 
		}
		baseElem.style.height = maxHeight + 'px';
		for (i = 0; i < baseElem.childNodes.length; i++) {
			if (baseElem.childNodes[i].style) { baseElem.childNodes[i].style.height = maxHeight + 'px'; }
		}
	}
}