Update 9ex.py