non credo convenga farlo in flash; non è accessibile, anche se dipende dai...... gusti.
Potresti ottimizzare il codice collegando il Javascript in un file esterno .js. Dipende dal "peso" della gif, da vedere insomma.
saluti