Update format_time.py