#include <bits/stdc++.h>
#define ll long long
using
namespace
std;
int
main()
{
ll begin,end,
time
;
ll hh,mm,ss;
while
(~
scanf
(
"%lld %lld"
,&begin,&end))
{
time
=end-begin;
hh=
time
/(3600);
time
=
time
%3600;
mm=
time
/60;
ss=
time
%60;
printf
(
"%02lld:%02lld:%02lld\n"
,hh,mm,ss);
}
return
0;
}