update ex12.py