PAT-B1026

#include
#include
int main(){
	long long c1, c2;
	double cha;
	int h, m, s;
	scanf("%lld%lld",&c1,&c2);
	cha=((double)(c2-c1))/100;
	if((cha-(int)cha)<0.5)cha=(int)cha;
	else cha=(int)cha+1;

	s=((int)cha)%60;
	m=((int)cha/60)%60;
	h=(int)cha/3600;
	
	printf("%02d:%02d:%02d\n",h,m,s);


return 0;
}