Update ex25.py