function height_full(){
var div1 = document.getElementById('content_1_1');
var div2 = document.getElementById('col_left');
var div1_height = div1.offsetHeight;
var div2_height = div2.offsetHeight;

	if (div1_height < div2_height)
	{
		div1.style.height = div2_height;
	}
}