format 4215 GIFs