#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int main()
{
	ll time,h,m,s;
	scanf("%lld",&time);
	time/=1000;
	s=time%60;
	time/=60;
	m=time%60;
	time/=60;
	h=time%24;
	printf("%02lld:%02lld:%02lld\n",h,m,s);
	return 0;
}