finished 9-2.5.py