function resizeLeft()
{ 
	var leftBar = document.getElementById("leftBar");
	var rightText = document.getElementById("rightText");
	
	if(leftBar!=null && rightText!=null)
	{
		var divs=leftBar.getElementsByTagName("div");
		var divHijo;
		for(i=0;i<divs.length;i++)if(divs[i].className=="body")divHijo=divs[i];
		
		divHijo.style.height = rightText.clientHeight+"px"; 
	}
}

window.onload=function(){ resizeLeft(); };