function resizeColumns(offset) {
	
	/******************
	
	10/24/07 - fixed Safari render issue. Works across the 3 stooges.
	
	******************/
	
	// offset is additional top padding (px) for the Flash
	
	var rtcol = document.getElementById('rightcol');
	var lftcol = document.getElementById('leftcol');
	var flashdiv = document.getElementById('flash');
	
	var leftHeight = lftcol.offsetHeight;
	var flashHeight = flashdiv.offsetHeight;

	// set new height
	rtcol.style.height = leftHeight + "px";
	var diff = rtcol.offsetHeight - lftcol.offsetHeight;

	var adjusted = lftcol.offsetHeight - diff;
	rtcol.style.height = adjusted + "px";
	
	var topPad = parseInt((adjusted - flashHeight) / 2);
	flashdiv.style.marginTop = topPad + "px"; 
	
	//alert("diff: "+diff);
}

