#include <bits/stdc++.h>
using namespace std;
int main()
{
    long long nt, time, second, hour;
    cin >> nt;
    time = (nt / 1000) % 60;
    second = ((nt / 1000) / 60) % 60;
    hour = (((nt / 1000) / 60) / 60) % 24;
    printf("%02d:%02d:%02d", hour, second, time);
    return 0;
}