题解

#include<iostream>
#include<cstdio>
using namespace std;
int main(){
    int n;
    cin>>n;
    printf("%02d:%02d:%02d",n/3600,n%3600/60,n%3600%60);
    return 0;
}