add ex25.py