方法

#include<bits/stdc++.h>
using namespace std;
int main(){
int t;
cin>>t;
int h=t/3600;
int m=t%3600/60;
int s=t%3600%60;
printf("%02d:%02d:%02d",h,m,s);
return 0;
}