we modified a.txt