#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
typedef long long LL;
int main()
{
LL n;
cin>>n;
n/=1000;//转化成s
n%=86400;//最后一天的秒数
LL h=n/3600;//有几个小时
n%=3600;//最后不足一小时的秒数
LL m=n/60;//最后不足一小时的分钟数
LL s=n%60;//最后不足一小时的秒数
printf("%02d:%02d:%02d",h,m,s);
return 0;
}