This is from a.txt