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