function SetHeightDivMenu()

{

	if (document.getElementById('cont_general') != null && document.getElementById('columna_left') != null)

	{

		var divh = document.getElementById('cont_general').offsetHeight;

		var target = document.getElementById('columna_left');

		target.style.height = divh + "px";

	}

}