#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;
}