add 7 to a.txt