Create exer31_format_time.py