#include <stdio.h>

int main()
{
    int a,hours,minutes,seconds;
    scanf("%d",&a);
    hours = a/3600;
    minutes = a/60%60;
    seconds =a%3600%60;
    printf("%d %d %d",hours,minutes,seconds);
    return 0;
}