Updating a.txt