== この質問で注意する必要があるのは、入力時間がミリ秒単位であり、範囲が 10 の 18 乗であるため、長整数を定義する必要があることです ==
#include<bits/stdc++.h>
using namespace std;
int main()
{
long long num;
cin>>num;
long long ss;
int h = 0,m = 0,s = 0;
//将毫秒变成秒
ss = num/1000;
h = (ss/3600)%24;
m = (ss/60)%60;
s = ss%60;
printf("%02d:%02d:%02d",h,m,s);
return 0;
}