s = io.read()
a = tonumber(string.sub(s, 1, 2))
b = tonumber(string.sub(s, 4, 5))
b = b + 5
if(60 <= b) then
    b = b - 60
    a = a + 1
    if(a == 24) then a = 0 end
end
as = string.format("%02d", a)
bs = string.format("%02d", b)
io.write(as)
io.write(":")
io.write(bs)