Which of the following formats is commonly used for images on the web?