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