#include <cstdio> int main() { int t; int hour,min,s; scanf("%d",&t); hour = t / 3600; min = t % 3600 / 60; s = t % 3600 % 60; printf("%d:%d:%d",hour,min,s); return 0; }