题目背景

现在有一个12小时制的电子表，用来记录当前时间。小 C 发现任何秒数的时间都可以通过电子表上的时、分、秒显示出来，比如：

• 0 秒显示为 00:00:00 。
• 60 秒显示为 00:01:00 。
• 65 秒显示为 00:01:05 。
• 363599 秒显示为 04:59:59 。

题目描述

现在我们需要输入一个正整数 $n$ ，请问该秒数在电子表上显示的效果应该是多少？

输入格式

输入一行。

一行输入一个正整数 $n$ ，代表秒数。

输出格式

输出一行。

一行输出该秒数在电子表上显示的结果。输出格式见题面背景。

样例 #1

样例输入 #1

0

样例输出 #1

00:00:00

样例 #2

样例输入 #2

60

样例输出 #2

00:01:00

样例 #3

样例输入 #3

363599

样例输出 #3

04:59:59

提示

样例解释】：

详见题目背景。

数据范围】：

对于 $100\%$ 的数据，保证 $0 \leq n \leq 10^{18}$ 。