The file is 8.txt; Yes