#include<bits/stdc++.h>
using namespace std;
#define ll unsigned long long
int main()
{
ll t;
scanf("%llu",&t);
t=t/1000;
t=t%(24*3600);
int h=0,m=0,s=0;
s=t%60;t/=60;
m=t%60;t/=60;
h=t;
printf("%02d:%02d:%02d",h,m,s);
system("pause");
return 0;
}
