// JavaScript Document

function obtener_alto(){
	var alto_menu = document.getElementById('menu').offsetHeight;//obtenemos el alto del div menu
	var alto = document.getElementById('contenido').offsetHeight;//obtenemos el alto del div pagina
	var alto = alto + 47; //el alto que ocupan las imagenes de top y botom
	if (alto_menu < alto){
		var diferencia = alto - alto_menu ;
		diferencia = diferencia + 2;
		document.getElementById('redimensiona_menu').style.height = diferencia+"px"; // asignamos el alto al div menu
	} else {		
		alto_menu = alto_menu - 56;		
		document.getElementById('contenido').style.height = alto_menu+"px"; // asignamos el alto al div menu			
	}
}