The version is 4.0.12. This allows you to optimize GIF files on the fly, and includes batch conversion and command-line support. You can optimize an entire Web site of graphics automatically. It also comes with additional GIF tools.