make 4015 GIFs