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