【问题描述】

  小蓝要和朋友合作开发一个时间显示的网站。在服务器上，朋友已经获取了当前的时间，用一个整数表示，值为从 1970 年 1 月 1 日 00:00:00 到当前时刻经过的毫秒数。
  现在，小蓝要在客户端显示出这个时间。小蓝不用显示出年月日，只需要显示出时分秒即可，毫秒也不用显示，直接舍去即可。
  给定一个用整数表示的时间，请将这个时间对应的时分秒输出。

【输入格式】

  输入一行包含一个整数，表示时间。

【输出格式】

  输出时分秒表示的当前时间，格式形如 HH:MM:SS，其中 HH 表示时，值为 0 到 23，MM 表示分，值为 0 到 59，SS 表示秒，值为 0 到 59。时、分、秒不足两位时补前导 0。

【样例输入 1】
  46800999
【样例输出 1】
  13:00:00

【样例输入 2】
  1618708103123
【样例输出 2】
  01:08:23

【评测用例规模与约定】

  对于所有评测用例，给定的时间为不超过 10^18 的正整数。


【代码】

times = eval(input())
h, temp1 = divmod(times, 60 * 60 * 1000)   # 注意：1秒 = 1000毫秒
m, temp2 = divmod(temp1, 60 * 1000)
s, temp3 = divmod(temp2, 1000)
print("{:0>2}:{:0>2}:{:0>2}".format(h%24, m%60, s%60))

【测试结果】