function resizeSpacer()
{
	var h = $('content_left').offsetHeight;
	$('vertical_spacer').style.height = (h-10)+"px";
}
Event.observe(window,"load",resizeSpacer);