Update 12ex.py