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

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