var rateHeight = (document.all)?21:21;
var sectionHeight = 380;
var sections = new Array("propdata","accom","amenities");

function divHeightAdjust() {
	if (rateRows > 1) {
		for (var i = 0; i< sections.length; i++) {
			document.getElementById(sections[i]).style.height = (sectionHeight-((rateRows-1)*rateHeight)) + "px";
		}
	}
}