Update a.txt