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