#include <stdio.h>

int main() {
    long int time;
    scanf("%ld",&time);
    int hour, minute,second;
    hour=time/3600;
    minute=time/60-hour*60;
    second=time%60;
    printf("%d %d %d", hour, minute, second);
    return 0;
}