using System;

class No530{
    static void Main(){
        Console.WriteLine($"2017-{Console.ReadLine()}");
    }
}