H, M, S = raw_input().split()

ans = int(H) * 60 + int(M)

S = S[3:].split('.')
sign = S[0][0]
A = int(S[0][1:])
B = 0 if len(S) <= 1 else int(S[1])
if sign == '-':
    B *= -1
B = B * 6

C = 9 * 60

D = A * 60 + B - C

ans += D

ans %= 24 * 60

print "%02d:%02d" % (ans / 60, ans % 60)