题目描述

小明是一名时间旅行者。他的时间计算器以午夜零点 00:00:00 为起点，记录了从那一刻起过去的总秒数。现在，小明想知道当前的时间是几点几分几秒。

请你帮他将这个非负整数秒数转换为标准的时间格式 HH:MM:SS。

• 小时范围为 $0$ 到 $23$。
• 分钟和秒的范围均为 $0$ 到 $59$。
• 所有字段需补零至两位，例如 03:07:09。

输入格式

输入一个非负整数 $N$，表示从 00:00:00 开始经过的秒数。

• $0 \leq N \leq 10^9$

输出格式

输出对应的时间，格式为：

HH:MM:SS

其中：

• HH 表示小时数，范围为 $0$ 到 $23$；
• MM 表示分钟数，范围为 $0$ 到 $59$；
• SS 表示秒数，范围为 $0$ 到 $59$。

输出需补零至两位，不足两位的用 0 补足。

样例输入

358249373

样例输出

09:42:53

提示

• 一天有 86400 秒；
• 一小时有 3600 秒；
• 一分钟有 60 秒；
• 计算时间时应使用对 86400 取模，即 N % 86400，因为超过一天后时间将重新从 00:00:00 开始。