#include <stdio.h>
#define CLK_TCK 100
int main()
{
int C1,C2;
int hh,mm,ss;
int sec;
scanf("%d%d",&C1,&C2);
sec = (C2 - C1 + 50)/CLK_TCK;
ss = sec % 60;
sec /= 60;
mm = sec % 60;
sec /= 60;
hh = sec % 60;
printf("%02d:%02d:%02d",hh,mm,ss);
return 0;
}
11-19
328