#include <stdio.h>

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