You can also choose to save the final image file in any other filename or file
Notice that changing the format to .GIF, though the file size is usually significanly
smaller, most colors will not display well. And changing to JPG files from other
formats may look grainy.
The demo shows how this is accomplished.