stdin1.txt