flc文件是不是动画文件 flash动画文件是什么