Add ex9.py