var tamano_content = document.getElementById("contiene").offsetHeight;
var tamano_menu = document.getElementById("menu").offsetHeight;
if (tamano_content > tamano_menu) {
	tamano = tamano_content+72;
	tamano = tamano+"px";
	document.getElementById("contenedor").style.height = tamano;
}else{	
	tamano = tamano_menu+80;
	tamano = tamano+"px";
	document.getElementById("contenedor").style.height = tamano;
}