update a.txt by a