addition to a.txt