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