fixed ex25.py