tao file a.txt