A file labeled GIF. Use it for animated images or GIF format files.