GIF 动画的文件大小相对较大,若用 flash 导入后转换为矢量动画就可缩小。