a.txt for test