file a.txt