update a.txt = 3