javascript下Date对象的时间格式化函数