#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;
}

#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;
}