txt file needed for ex15.py