added to ex12.py