add ex12.py