Update ex9.py