ex25.py updated