Hola palidowsky:
Lo que pasa es que explorer admite una forma abreviada de referenciar algunas cosas...
supongo que formulario es el name de un form:
<form name="formulario"...
...o tal vez el id ¿?
Si estoy en lo cierto pon antes de usar "formulario":
var formulario = document.forms.formulario;
Si no te sirve, muéstranos el resto de la página o pon un link para verlo.
Saludos