#include <stdio.h>
#define SEC_MIN 60
int main()
{
int sec, min, left, hour;
scanf("%d", &sec);
while (sec > 0)
{
left = sec % SEC_MIN;
min = sec / SEC_MIN;
hour = min / SEC_MIN;
min = min % SEC_MIN;
printf("%02d:%02d:%02d\n", hour, min, left);
scanf("%d", &sec);
}
return 0;
}