可以将AVI格式转换外GIF格式的工具。