using System;
using System.Linq;
using System.Collections.Generic;

static class NagataKanaIsAGenius {
    public static void Main() {
        int[]ymd=Console.ReadLine().Split('/').Select(int.Parse).ToArray();
        int y=ymd[0];
        int m=ymd[1];
        int d=ymd[2];
        d+=2;
        int m_d=m==2?(y%4==0&&(y%100!=0||y%400==0)?29:28)
            :m==4||m==6||m==9||m==11?30:31;
        if(m_d<d){
            d-=m_d;
            m++;
        }
        if(12<m){
            m=1;
            y++;
        }
        Console.WriteLine($"{y:0000}/{m:00}/{d:00}");
    }
}