esistono dei tool (possibilmente free) per convertire un filmato .swf in gif animata? (putroppo non dispongo del file .fla)

grazie!