using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace yukicoderTest
{
    class Program
    {
        static void Main(string[] args)
        {
            string[] ymd = Console.ReadLine().Split('/');
            int year = int.Parse(ymd[0]);
            int month = int.Parse(ymd[1]);
            int day = int.Parse(ymd[2]);
            bool uruu = false;
            if(year%100==0&&year%400!=0)
            {
                uruu = false;
            }
            else if(year%4==0)
            {
                uruu = true;
            }
            day += 2;
            if (month == 1 && day > 31 || month == 3 && day > 31 || month == 5 && day > 31  || month == 7 && day > 31 
                || month == 8 && day > 31 || month == 10 && day > 31 || month == 12 && day > 31)
            {
                month++;
                day = day-31;
                if(month>12)
                {
                    year++;
                    month = 1;
                }
            }
            else if (month == 4 && day > 30 || month == 6 && day > 30 || month == 9 && day > 30 || month == 11 && day > 30)
            {
                month++;
                day = day-30;
            }
            else if(month==2&&uruu==true)
            {
                if (day > 29)
                {
                    month++;
                    day = day-29;
                }
            }
            else if(month==2&&day>28)
            {
                month++;
                day = day-28;
            }

            Console.WriteLine("{0:00}"+"/"+ "{1:00}" + "/" + "{2:00}", year, month, day);
        }
    }
}