ex13.py