Hola:
Los acostumbrados a diseñar sólo para explorer saben que un elemento con id="formulario", pueden referenciarlo en javascript como la variable formulario, y eso es lo que se aprecia en el código, cuando al menos habría que crear un alias o algo así.
formulario = document.getElementById("formulario")
Supongo que zerokilled
, ha pensado en lo mismo.
Saludos
