When the user is ready, they can export their animation to one of several formats: QuickTime movie (*.mov), Animated GIF (*.gif), or series of sequenced GIF, JPEG, or PNG images (one for each frame).