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