modified:   timer.py