add 1 to a.txt