tmp3.py