#include <stdio.h>
int main()
{
int S;
int hour,min,sec;
hour=S/3600;
min=S%3600/60;
sec=S-hour*3600-min*60;
printf("%d:%d:%d",hour
,min
,sec
);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CmludCBtYWluKCkKewoJaW50IFM7CgkKCXNjYW5mKCIlZCIsJlMpOwoJCglpbnQgaG91cixtaW4sc2VjOwoJCglob3VyPVMvMzYwMDsKCW1pbj1TJTM2MDAvNjA7CglzZWM9Uy1ob3VyKjM2MDAtbWluKjYwOwoJCglwcmludGYoIiVkOiVkOiVkIixob3VyLG1pbixzZWMpOwoJCglyZXR1cm4gMDsKfQ==