modify a.txt