require 'time'

t = gets.chomp

puts (Time.parse(t) + 300).strftime('%H:%M')