function newHeight() {
	var col2 = document.getElementById("col2");
	var col2bg = document.getElementById("col2bg");
	var col3 = document.getElementById("col3");
	if( col2 || col3 ) {
		if (col2.offsetHeight < col3.offsetHeight)
			var padd = col3.offsetHeight - col2.offsetHeight;
			if (padd < 600)
				col2.style.paddingTop = padd + "px";
	}
}