#include <bits/stdc++.h>
using namespace std;
// #define int long long
#define LL long long
#define endl '\n'

void solve()
{
	LL n;
	cin >> n;

	n %= 24 * 60 * 60 * 1000; // 处理时间超过一天的情况，即去除年月日部分，提取时间
	n /= 1000; // 将毫秒数转换为秒数，即去除毫秒部分
	int sec = n % 60; // 计算秒数，取秒数部分
	n /= 60; // 将秒数转换为分钟，即去除秒数部分
	int minu = n % 60; // 计算分钟，取分钟部分
	n /= 60; // 将分钟转换为小时，即去除分钟部分
	int hour = n; // 计算分钟，取小时部分

	printf("%02d:%02d:%02d", hour, minu, sec);
}

signed main()
{
	// ios::sync_with_stdio(0);
	// cin.tie(0), cout.tie(0);

	solve();

	return 0;
}