def led(h, m, s):
    c = [6,2,5,5,4,5,6,3,7,6]
    return c[h % 10]+c[h//10]+c[m%10]+c[m//10]+c[s%10]+c[s//10]
    
def prev(hh, mm, ss):
    if (ss > 0):
        return (hh, mm, ss-1)
    elif (mm > 0):
        return (hh, mm-1, 59)
    elif (hh > 0):
        return (hh-1, 59, 59)
    else:
        return (23, 59, 59)
        

time = input().split(":")
(hh, mm, ss) = map(lambda x: int(x), time)

orig_led = led(hh, mm, ss)
prev_led = -1
while (orig_led != prev_led):
    (hh, mm, ss) = prev(hh, mm, ss)
    prev_led = led(hh, mm, ss)
    #print(hh, mm, ss, prev_led)
(h, m, s) = map(lambda x: str(x), (hh, mm, ss))
if (hh < 10):
    h = "0"+h
if (mm < 10):
    m = "0"+m
if (ss < 10):
    s = "0"+s
print(":".join((h,m,s)))