Which of the following is a file extension for a document?