from datetime import time
from datetime import timedelta
from datetime import datetime

print((lambda h,m:(datetime(1000,1,1,h,m)+timedelta(minutes=5)).time().isoformat(timespec='minutes'))(*[int(_) for _ in input().split(":")]))