#include <stdio.h>
int main()
{
    int seconds,hour,minute,second;
    scanf("%d",&seconds);
    hour=seconds/3600;minute=(seconds%3600)/60;
    second=seconds%3600%60;
    printf("%d %d %d",hour,minute,second);
}