#include <stdio.h>
#include <stdlib.h>
int main() {
int seconds = 20000;
int fullMinutes = seconds / 60;
int fullHours = fullMinutes / 60;
int fullDays = fullHours / 24;
int Second = seconds % 60;
int Minute = fullMinutes % 60;
int Hour = fullHours % 24;
printf("%d:%d:%d\n", Hour, Minute, Second);
return 0;
}