#include <stdio.h>

int main() {
    int seconds, time_h, time_min, time_sec=0;

    scanf("%d\r\n", &seconds);

    time_h = seconds / 3600;

    time_min = (seconds % 3600) / 60;

//    time_sec = seconds - (3600 * time_h) - (60 * time_min);

    time_sec = (seconds % 3600) % 60;

    printf("%d %d %d\r\n", time_h, time_min, time_sec);

    return 0;
}