a.txt modified