function correct_height()
{
	rightDiv = document.getElementById('RightFloat');
	contentDiv = document.getElementById('ContentFloat');
	leftDiv = document.getElementById('LeftFloat');
	
	H = 0;
	if(rightDiv.offsetHeight)
	{
		rH = rightDiv.offsetHeight;
		cH = contentDiv.offsetHeight;
		lH = leftDiv.offsetHeight;
	}
	else if(rightDiv.style.pixelHeight)
	{
		rH = rightDiv.style.pixelHeight;
		cH = conentDiv.style.pixelHeight;
		lH = leftDiv.style.pixelHeight;
	}
	if(rH && cH && lH)
	{
		H = Math.max(rH,cH);
		H = Math.max(H,lH);
		H = H+"px";
		rightDiv.style.height = H;
		contentDiv.style.height = H;
		leftDiv.style.height = H;
	}
}
window.onload = correct_height;