A, B, S = input().split() A = int(A) B = int(B) d = round((eval(S[3:]) - 9) * 60) B += d A += B // 60 B %= 60 A %= 24 print(str(A).zfill(2) + ':' + str(B).zfill(2))