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