问题描述

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

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

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

输入格式

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

输出格式

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

输入输出样例

示例1

46800999

13:00:00

示例2

1618708103123

01:08:23

评测用例规模与规定

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