this file is a.txt