function init_page()	{	var right=document.getElementById('right').offsetHeight;	var left=document.getElementById('left').offsetHeight;	if(right>left)		{			document.getElementById('right').style.minHeight=right+'px';			document.getElementById('left').style.minHeight=right+'px';		}	else		{			document.getElementById('right').style.minHeight=left+9+'px';			document.getElementById('left').style.minHeight=left+9+'px'		}	}
