#include <cstdio> int main() { int sec; scanf("%d", &sec); printf("%d:%d:%d\n", sec / 3600, (sec / 60) % 60, sec % 60); return 0; }