modify time.py