Change a.txt