int main() { int n; scanf(“%d\n”, &n); printf(“%d:%d:%d”, n / 3600, n % 3600 / 60, n % 60); return 0;
}