Update 10ex.py