modify a.txt file