ex9.py