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

namespace SoftUni
{
    class Program
    {
        static void Main(string[] args)
        {
            string bornDate = Console.ReadLine();

            DateTime date;

            date = DateTime.ParseExact(bornDate, "dd-MM-yyyy", CultureInfo.InvariantCulture);
            date = date.AddDays(999);

            Console.WriteLine(date.ToString("dd-MM-yyyy"));
        }
    }
}