a, b, s = gets.split
s = s.delete('UTC').to_f
time = a.to_i * 60 + b.to_i + ((s - 9) * 60).to_i
puts "#{((time/60)%24).to_s.rjust(2,'0')}:#{(time%60).to_s.rjust(2,'0')}"