import math T1, T2 = map(int, input().split(':')) O1 = (T1 + math.floor((T2 + 5) / 60)) % 24 O2 = (T2 + 5) % 60 print('{0:02d}'.format(O1) + ':' + '{0:02d}'.format(O2))