// JavaScript Document

function obtener_alto(contenedor){
	var alto_menu = document.getElementById('menu').offsetHeight;//obtenemos el alto del div menu
	var alto = document.getElementById(contenedor).offsetHeight;//obtenemos el alto del div pagina
	if (alto_menu < alto){
		var diferencia = alto - alto_menu ;
		diferencia = diferencia + 2;
		document.getElementById('redimension_menu').style.height = diferencia+"px"; // asignamos el alto al div menu
	} else {
		alto_menu = alto_menu - 85;
		document.getElementById(contenedor).style.height = alto_menu+"px"; // asignamos el alto al div menu			
	}
}