prog.txt