lua 时间函数os.time()和os.date()