File a.txt