If you want to batch convert flash to GIF, VeryDOC Flash to GIF Batch Converter is your right solution. VeryDOC Flash to GIF Batch Converter is easy to use, and allows users to customize the GIF sizes, GIF frame rates, GIF replay time and interval time by selecting options. Users are also allowed maintain the original size of the flash movies, animation, cards, etc. to GIF files when they batch convert flash to GIF. The window of VeryDOC Flash to GIF Batch Converter is simple and can be divided into four parts. On the right side of the window as illustrated below, it is the list box. On the left side of the window, it is the area where the flashes can be displayed. Under the list box there are six tool buttons. And at the bottom of the window, it is the Information progress, where you can view the conversion information.