8.3.3 时间格式化函数