Which of the following file extensions is used for a text file?