#include<stdio.h>
int main()
{
    int seconds,h,min,s;
    scanf("%d",&seconds);
    h=seconds/3600;
    min=(seconds%3600)/60;
    s=seconds%3600%60;
    printf("%d %d %d",h,min,s);
    return 0;
}