Joey wanted to add an animated picture to his class website assignment to make it more interesting. What image file type should he use?