Modify the file a.txt