int main()
{
    long long seconds,min,hour,seco;
    scanf("%d",&seconds);
    hour=seconds/3600;
    min=(seconds%3600)/60;
    seco=(seconds%3600)%60;
    printf("%ld %ld %ld",hour,min,seco);
    return 0;
}