// JavaScript Document

function setBucketHeights(bucketName) {
	
	var divs = document.getElementsByTagName("div");
	var bucketHeight = 0;

	for (i in divs) {
		if (divs[i].className == bucketName) {
			curHeight = Math.max(divs[i].scrollHeight, divs[i].offsetHeight);
			if (curHeight > bucketHeight) {
				bucketHeight = curHeight;
			}
		}
	}

	bucketHeight = bucketHeight + 15;

	for (j in divs) {
		if (divs[j].className == bucketName) {
			divs[j].style.height = bucketHeight + "px";
		}
	}
	
}