line = gets.chomp.split(":")
if line[1].to_i + 5 < 60
	minu = line[1].to_i + 5
	time = line[0].to_i
else
	minu = line[1].to_i + 5 - 60
	
	if line[0].to_i + 1 < 24 
		time = line[0].to_i + 1
	else
		time = 0
	end
end

printf("%02d:%02d\n", time, minu)