writetotxt.py