with t.txt