add to ex25.py