i haven't used flash in over 2 years but i distinctly remember there being an export feature....something about exporting movies where you can set the format as .gif...