Lieber Gernot,
noch eine Ergänzung zu Deinem Tipp:
und onclick könnte man das Gif-Image gegen ein identisches mit anderem Namen austauschen.
Dieses "identische Bild mit anderem Namen" könnte ein an die URL des Bildes angehängter Parameter sein, der bei jedem Reload mit einem neuen Wert versehen wird (dazu eignet sich ein Zeitstempel). Aus "bild.gif" könnte so "bild.gif?zeit=439251" werden. Für den Browser sind das dann durchaus zwei verschiedene Bilder, sodass das Bild (obwohl dieselbe Datei) neu geladen (und dann auch abgespielt) wird. Dazu ist die Javascript-Funktion getTime() hilfreich.
Liebe Grüße aus Ellwangen,
Felix Riesterer.