#include<iostream>
using namespace std;
int main()
{
unsigned long long int n;
int h,m;
cin>>n;
n/=1000;
n=n%(24*60*60);
h=n/(60*60);
n=n%(60*60);
m=n/60;
n%=60;
printf("%02d:%02d:%02d",h,m,n);
}
//1618708103123
#include<iostream>
using namespace std;
int main()
{
unsigned long long int n;
int h,m;
cin>>n;
n/=1000;
n=n%(24*60*60);
h=n/(60*60);
n=n%(60*60);
m=n/60;
n%=60;
printf("%02d:%02d:%02d",h,m,n);
}
//1618708103123