Und außerdem kann man solche Dinge auch direkt in dem animierten GIF unterbringen, sodass die Verwendung von JS hier gänzlich überflüssig ist. Zumal es (zum Glück) sowieso jedem User selbst überlassen ist per Konfiguration und/ oder Tastendruck in seinem Browser das Anzeigeverhalten von animierten Grafiken zu bestimmen.
Gruß Gunther