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

MM += 5
if MM >= 60:
    MM -= 60
    HH += 1
if HH >= 24:
    HH -= 24
print("{0:02d}:{1:02d}".format(HH, MM))