#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int main(){
ll cnt;
cin >> cnt;
cnt /= 1000; //毫秒转换成秒
cnt %= 86400; //86400指一天的秒数,求余可得:当天秒数
printf("%02d:%02d:%02d", cnt / 3600, cnt / 60 % 60, cnt % 60);
//上面三个参数依次为: 转换为当前有h数 ; 先转换总min,再求余分钟数 ; 求余秒数
return 0;
}
%02d是将数字按宽度为2,采用右对齐方式输出,若数据位数不到2位,则左边补0