Hola:
¡Hey, he visto que eres de Málaga...! ¿Cómo estás, paisano...
?
Bueno, tal como llamas a la función, creo que no lo acepta mozilla...
window.document.imagen1... si imagen1 es el id, deberías referenciarla así:
document.getElementById("imagen1")...
y si se tratase del name:
document.images.imagen1
... aunque de las 2 formas funcionaría bien, es recomendable la primera
Saludos