#include <stdio.h>

int main()
{
    int second;
    scanf("%d", &second);
    
    printf("%d %d %d", second / 3600, (second % 3600) / 60, (second % 3600) % 60);
    
    return 0;
}