Ver originalfunction div() { var tamanio; tamanio = document.getElementById('contenidos').offsetHeight ; return tamanio;}