#include <stdio.h>

int main() {
    int seconds;
    scanf("%d",&seconds);
    int h,min,s;
    h = seconds / 3600;
    min = seconds % 3600 / 60;
    s = seconds % 60;
    printf("%d %d %d",h,min,s);
}