import strutils, times

let
    t:string = readLine(stdin)
    time = parse(t, "hh:mm")

echo format(time + 5.minutes, "hh:mm")