edit ex11.py and ex12.py