file.txt: Text document for testing