#include<iostream>

using namespace std;

typedef long long ll;

int main()
{
	ll n;
	cin>>n;
	ll a;
	ll s,m,h;
	a=n/1000;
	s=a%60%60;
	m=a/60%60;
	h=a/60/60;
	while(h>=24) h=h%24;
	printf("%02lld:%02lld:%02lld",h,m,s);
	return 0;
}