题目描述

小蓝要和朋友合作开发一个时间显示的网站。在服务器上，朋友已经获取了当前的时间，用一个整数表示，值为从 1970 年 1 月 1 日 00:00:00 到当前时刻经过的毫秒数。

现在，小蓝要在客户端显示出这个时间。小蓝不用显示出年月日，只需要 显示出时分秒即可，毫秒也不用显示，直接舍去即可。

给定一个用整数表示的时间，请将这个时间对应的时分秒输出。

输入格式

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

输出格式

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

样例 #1

样例输入 #1

46800999

样例输出 #1

13:00:00

样例 #2

样例输入 #2

1618708103123

样例输出 #2

01:08:23

提示

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