def get_human_time(t):
if isinstance(t, int):<EOL><INDENT>if len(str(t)) == <NUM_LIT>:<EOL><INDENT>t = t // <NUM_LIT:1000><EOL><DEDENT>t = datetime.datetime.fromtimestamp(t)<EOL><DEDENT>return datetime.datetime.strftime(t, '<STR_LIT>')<EOL>
将时间标记转换成字符串