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

京公网安备 11010502036488号