out.txt