Which of these is a common file extension for a document?