Modify a.txt