王磊做了一个Flash动画，他想先保存起来明天继续编辑，这个动画文件应该保存成（