#include<bits/stdc++.h>
using namespace std;
int main()
{
double c1,c2;
cin>>c1>>c2;
int t1;
double t=(c2-c1)/100;
t1=t;
if(t-t1>=0.5)
{
t1=t1+1;}
int hour=0,minute=0,second=0,h1=0;
hour=t1/3600;
//h1=hour%24; 有这个测试过不了
minute=(t1-hour*3600)/60;;
second=t1-hour*3600-minute*60;
printf("%02d:%02d:%02d",hour,minute,second);
}