a, b, s = input().split()
a = int(a)
b = int(b)

japan_time_minutes = a * 60 + b
utc_minutes = (japan_time_minutes - 540) % 1440  # 540 minutes = 9 hours

# Parse the timezone offset
sign = s[3]
num_str = s[4:]

if '.' in num_str:
    integer_part_str, fractional_str = num_str.split('.', 1)
else:
    integer_part_str = num_str
    fractional_str = '0'

integer_part = int(integer_part_str)
fractional_digit = int(fractional_str) if fractional_str else 0

offset_minutes = integer_part * 60 + fractional_digit * 6

if sign == '-':
    offset_minutes = -offset_minutes

local_total = (utc_minutes + offset_minutes) % 1440
hours = local_total // 60
minutes = local_total % 60

print(f"{hours:02d}:{minutes:02d}")