x = gets
y = x.split(" ")
t = y[0].to_i
h = y[1].to_i
s = y[2].to_i
until t == -1 && h == -1 && s == -1
 left = 7200
 ttoh = t * 60
 htos = (h + ttoh) * 60
 sums = htos + s

 leftsecond = left - sums

 anst = leftsecond / 3600
 ansh = (leftsecond - (3600 * anst)) / 60
 anss = leftsecond - (3600 * anst) - (ansh * 60)
 if anst < 10
  str = "0" + anst.to_s
  anst = str
 end
 if ansh < 10
  str = "0" + ansh.to_s
  ansh = str
 end
 if anss < 10
  str = "0" + anss.to_s
  anss = str
 end
 leftsecond3 = leftsecond * 3
 
 anst3 = leftsecond3 / 3600
 ansh3 = (leftsecond3 - (3600 * anst3)) / 60
 anss3 = leftsecond3 - (3600 * anst3) - (ansh3 * 60)
 if anst3 < 10
  str = "0" + anst3.to_s
  anst3 = str
 end
 if ansh3 < 10
  str = "0" + ansh3.to_s
  ansh3 = str
 end
 if anss3 < 10
  str = "0" + anss3.to_s
  anss3 = str
 end

 puts "#{anst}:#{ansh}:#{anss}"
 puts "#{anst3}:#{ansh3}:#{anss3}"
 
 x = gets
 y = x.split(" ")
 t = y[0].to_i
 h = y[1].to_i
 s = y[2].to_i
end
