Which of the following file extensions is used for Microsoft Word documents?