Ok. Agradezco tu aportación. Esto facilitará mi objetivo final. Pero es que quiero modificar la altura del div. Mientras la variable var hhlateral = hlateral.style.height me siga dando como resultado '', no puedo hacerlo.
Código:
hlateral = document.getElementById('lateral');