# No.525 二度寝の季節
t = input()
time = [int(i) for i in t.split(':')]
converted_twice = time[0] * 60 + time[1] + 5
print( '{:02d}'.format((converted_twice // 60) % 24) + ':' + '{:02d}'.format(converted_twice % 60))