add ex12.py.