Which one of the following is a common file extension for documents?