Update ex42.py