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