Modifying a.txt