modifying a.txt