h,m=map(int,input().split(':'))
m=(m+5)%60
if m<5:
    h=(h+1)%24
print('{0:02d}:{1:02d}'.format(h,m))