(function () {
	var mainpad  = document.getElementById('mainpad');
	var mainbox  = document.getElementById('mainbox');
	var rightcol = document.getElementById('rightcol');
	var padfactor = 34;

	if(mainbox.offsetHeight < rightcol.offsetHeight) {
		mainpad.style.height = (rightcol.offsetHeight) + 'px';
	}
	else {
		// mainpad is bigger
	}
})();