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