update ex9.py