![](https://i-blog.csdnimg.cn/blog_migrate/4931956db7dc1d8665f6471d61461b0a.png)
86400是一天的秒数
时分秒都是通过取余数得到的,先将毫秒转为秒
n = int(input())
p=n//1000#将毫秒转为秒
p=p%86400#对一天的秒数取余数从而得到从00点开始计数的秒数
HH=p//3600#对秒数取整除3600的部分得到小时
MM=p//60%60#整除秒数再对分钟取余得到分钟数
SS=p%60#对秒数取余得到秒数
print("%.2d:%.2d:%.2d" % (HH,MM,SS))
'''
%d就是普通的输出了整形数
%2d是将数字按宽度为2,采用右对齐方式输出,若数据位数不到2位,则左边补空格。
%02d,和%2d差不多,只不过左边补0
%-2d将数字按宽度为2,采用左对齐方式输出,若数据位数不到2位,则右边补空格
%.2d 输出整形时最少输出2位,如不够前面以0占位。如输出2时变成02,200时只输出200;输出浮点型时(%.2f)小数点后强制2位输出
'''