update to abc.txt by Tom