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