#include<bits/stdc++.h> using namespace std; int main(){ int time; cin>>time; int hour1 = time/3600; int res = time%3600; int minute = res/60; int second = res%60; printf("%d:%d:%d",hour1,minute,second); return 0; }