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