function ajustaAltura() {
    var menu=(document.getElementById("menu")).offsetHeight;
    var pagina=(document.getElementById("pagina")).offsetHeight - 143;
    //60=padding bottom pagina
    //83=alto cabecera
    var numero=pagina-menu+10;
    //alert(numero);
    if (numero<0) {
        (document.getElementById("pagina")).style.height=(pagina + 60 + (numero*(-1))) + "px";
    } else {
        (document.getElementById("menu")).style.height=(menu+numero-83) + "px";
    }
}