edit of ex23.py