DEFAULT_GIF_NAME: "story.gif" = 'story.gif'