t=Time.local(1970,1,1,*gets.split(":"),0)+300
puts "%02d:%02d"%[t.hour,t.min]