I just did a very quick search and this was the first result.

http://www.bytescout.com/moviesextractorscout_lite.html

It can pull flash animations from web sites, if you need that first. It can also save out frames from an animation as JPG as well as other formats.