ex12.py