h,m=gets.split(':').map(&:to_i)
puts [((a=h*60+m+5)/60)%24,a%60].map{|i|i.to_s.rjust(2,'0')}.join(':')