A GIF is an image format that is widely used on the Internet.