#include<stdio.h>

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