from datetime import timedelta hh, mm = map(int, input().split(':')) t1 = timedelta(hours=hh, minutes=mm+5) t2 = timedelta(days=1) ans = str(t1 % t2) if len(ans) == 8: print(ans[:-3]) else: print('0'+ans[:-3])