using System;

using System.Globalization;

​

class ThousandDays

{

    static void Main()

    {

        Console.WriteLine(DateTime.ParseExact(Console.ReadLine(), "dd-MM-yyyy", CultureInfo.InvariantCulture).AddDays(999).ToString("dd-MM-yyyy"));

    }

}