题目描述 小蓝要和朋友合作开发一个时间显示的网站。
在服务器上，朋友已经获取了当前的时间，用一个整数表示，值为从 1970 1970 年 1 1 月 1 1 日 00 : 00 : 00 00:00:00 到当前时刻经过的毫秒数。
现在，小蓝要在客户端显示出这个时间。小蓝不用显示出年月日，只需要显示出时分秒即可，毫秒也不用显示，直接舍去即可。
给定一个用整数表示的时间，请将这个时间对应的时分秒输出。
输入描述 输入一行包含一个整数，表示时间。
输出描述 输出时分秒表示的当前时间，格式形如 HH:MM:SS，其中 HH 表示时，值为 0 0 到 23 23，MM 表示分，值为 0 0 到 59 59，SS 表示秒，值为 0 0 到 59 59。时、分、秒 不足两位时补前导 0 0。
输入输出样例 示例 1 输入
46800999 copy 输出
13:00:00 copy 示例 2 输入
1618708103123 copy 输出
01:08:23 copy 评测用例规模与约定 对于所有评测用例，给定的时间为不超过 1 0 18 10 18 的正整数。
【解法1】
import os
import sys
# 请在此输入您的代码
x = int(input())
x /= 1000
day = 24 * 3600
hour = 3600
minute = 60
x = x % day
h = x // 3600
m = x % 3600 // minute
s = x % minute
print("%02d:%02d:%02d"%(h, m, s))
# h = '0'+str(h)if h < 10 else str(h)
# m = '0'+str(m)if m < 10 else str(m)
# s = '0'+str(s)if s < 10 else str(s)
# print("%2s:%2s:%2s"%(h, m, s))