#include<bits/stdc++.h>
using namespace std;
int64_t n;
int main()
{
cin >> n;
n /= 1000; //去掉后三位(不考虑毫秒)
n %= 86400; //24*60*60
int h = n / 3600;
n %= 3600;
int m = n / 60;
int s = n % 60;
printf("%02d:%02d:%02d\n", h, m, s);//%02d宽度为2 左边补0
return 0;
}