#include <stdio.h>

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