YYYY,MM,DD = map(int, input().split('/'))
if MM == 2 and DD == 27 and ((YYYY % 4 != 0) or ((YYYY % 100 == 0) and (YYYY % 400 != 0))):
    print(str(YYYY)+'/'+'03'+'/'+'01')
elif MM == 2 and DD == 28:
    if YYYY % 100 == 0 and YYYY % 400 != 0:
        print(str(YYYY)+'/'+'03'+'/'+'02')
    elif YYYY % 4 == 0:
        print(str(YYYY)+'/'+'03'+'/'+'01')
    else:
        print(str(YYYY)+'/'+'03'+'/'+'02')
elif DD <= 28:
    print(str(YYYY)+'/'+str(MM).zfill(2)+'/'+str(DD+2).zfill(2))
elif DD == 29:
    if (MM == (1 or 3 or 5 or 7 or 8 or 10 or 12)) or (MM == 2 and YYYY % 4 ==0):
        print(str(YYYY)+'/'+str(MM).zfill(2)+'/'+str(DD+2).zfill(2))
    else:
        if MM != 12:
            print(str(YYYY)+'/'+str(MM+1).zfill(2)+'/'+'01')
        else:
            print(str(YYYY+1)+'/'+'01'+'/'+'01')
elif DD == 30:
    if MM == (1 or 3 or 5 or 7 or 8 or 10):
        print(str(YYYY)+'/'+str(MM+1).zfill(2)+'/'+'01')
    elif MM == 12:
        print(str(YYYY+1)+'/'+'01'+'/'+'01')
    else:
        print(str(YYYY)+'/'+str(MM+1).zfill(2)+'/'+'02')
else:
    if MM == 12:
         print(str(YYYY+1)+'/'+'01'+'/'+'02')
    else:
         print(str(YYYY)+'/'+str(MM+1).zfill(2)+'/'+'02')