What is the process to save a file for web in GIF format?
1) Choose File>Save for web, and then select GIF
2) Choose File>Save for web, and then select JPEG
3) Choose File>Save for web, and then select PNG
4) Choose File>Save for web, and then select SVG