T = list(map(int, input().split(":")))

if T[1] + 5 >= 60:
    T[0] += 1
    T[0] %= 24
    T[1] += 5
    T[1] %= 60
else:
    T[1] += 5

print("%02d:%02d" % (T[0], T[1]))