#include<bits/stdc++.h>
using namespace std;
int main()
{
    
    
	long long num;
	cin>>num;
	long long ss;
	int h = 0,m = 0,s = 0;
	//将毫秒变成秒
	ss = num/1000;
	h = (ss/3600)%24;
	m = (ss/60)%60;
	s = ss%60;

	printf("%02d:%02d:%02d",h,m,s);
	return 0;
}