用途datetime.datetime.fromtimestamp：
>>> import datetime
>>> s = 1236472051807 / 1000.0
>>> datetime.datetime.fromtimestamp(s).strftime('%Y-%m-%d %H:%M:%s.%f')
'2009-03-08 09:27:31.807000'
%f指令仅受支持datetime.datetime.strftime，而不受time.strftime。
替代使用%，str.format：
>>> import time
>>> s, ms = divmod(1236472051807, 1000) # (1236472051, 807)
>>> '%s.%03d' % (time.strftime('%Y-%m-%d %H:%M:%s', time.gmtime(s)), ms)
'2009-03-08 00:27:31.807'
>>> '{}.{:03d}'.format(time.strftime('%Y-%m-%d %H:%M:%s', time.gmtime(s)), ms)
'2009-03-08 00:27:31.807'
602392714
清零编程群