Muchas gracias a los dos por las molestias, ante todo.
Finalmente, conseguí (conseguísteis) que funcionara, peeero (sí, hay un odioso "pero"; en realidad son dos, pero el segundo es menos relevante) la imagen no cambia hasta que no ha terminado de cargar por completo (y son gifs) la siguiente, y esto desconcertaría al "clicador" del botón, ya que el pinchar en el botón parece no tener ningún efecto. Y, de este modo, si añado el
onload="cambiar()" en el
body, se ve primero la imagen "predeterminada" y al rato es cuando cambia por sí sola por una aleatoria. En fin, un caos...
Creo que esto no es lo mío. ¡Ay, Manolete...!