#include <stdio.h>
int main() {
long seconds;
scanf("%d",&seconds);
int hours,minute,sec;
hours = seconds/60/60;
minute = seconds/60%60;
sec = seconds%60;
printf("%d %d %d\n", hours,minute,sec);
return 0;
}

#include <stdio.h>
int main() {
long seconds;
scanf("%d",&seconds);
int hours,minute,sec;
hours = seconds/60/60;
minute = seconds/60%60;
sec = seconds%60;
printf("%d %d %d\n", hours,minute,sec);
return 0;
}