function adjust3col()
	{
	left = document.getElementById('leftcol');
	center = document.getElementById('content');
	right = document.getElementById('sky');
	// adjust center height for padding at top of div
	height = Math.max(left.offsetHeight, center.offsetHeight + 10, right.offsetHeight)
	left.style.height = height + 'px';
	right.style.height = height + 'px';
	document.getElementById('contentcontainer').style.height = height + 'px';
	// center.style.height = height + 'px';
	}