Update ex12.py