add 4 to a.txt