h,m=gets.split(":").map &:to_i
puts (Time.mktime(2000, 1, 1, h, m) + 5*60).strftime("%R")