#include<bits/stdc++.h>
using namespace std;

int main()
{
	long long n;cin >> n;//输入数据 
	
	n = n / 1000;//将毫秒转换成秒 
	
	int s = n % 60;//获取剩余的秒 

	n /= 60;//将秒转换成分钟 
	int m = n % 60;//获取剩余的分钟 

	n /= 60;//将分钟转化成小时 
	int h = n % 24;//获取剩余的小时 

	printf("%02d:%02d:%02d", h, m, s);//按照题目格式输出 

	return 0;
	
}