#include <stdio.h>

int main() {
    int hour,minute,second;
    int seconds;
    scanf("%d",&seconds);
    hour=seconds/3600;
    minute=(seconds%3600)/60;
    second=(seconds%3600)%60;
    printf("%d %d %d\n",hour,minute,second);
    return 0;
}