A, B, S = gets.chomp.split

time = Time.new(2021, 1, 1, A.to_i, B.to_i)
str = S[4..-1].split('.')

offset = if str.size >= 2
         str.first.to_i * 3600 + str.last.to_i * 360
       else
         str.first.to_i * 3600
       end

if S[3] == '+'
  time += offset - (9 * 3600)
else
  time -= offset + (9 * 3600)
end

puts "%02d:%02d" % [time.hour, time.min]