import java.time.LocalDate;
import java.time.format.DateTimeFormatter;
import java.util.Scanner;

public class N_1000DaysAfterBirth {
    public static void main(String[] args) {
        Scanner Console = new Scanner(System.in);
        String dateInput = Console.nextLine();
        DateTimeFormatter formatter = DateTimeFormatter.ofPattern("dd-MM-yyyy");
        LocalDate date = LocalDate.parse(dateInput, formatter);
        date = date.plusDays(999);
        String finalString = date.toString();
        String yyyy = finalString.substring(0, 4);
        String mm = finalString.substring(5, 7);
        String dd = finalString.substring(8, 10);
        System.out.printf("%s-%s-%s", dd, mm, yyyy);
    }
}