import java.text.ParseException;
import java.text.SimpleDateFormat;
import java.util.Calendar;
import java.util.Date;
import java.util.Scanner;

public class _10_Modify_A_Bit {
    public static void main(String[] args) throws ParseException {
        Scanner scanner = new Scanner(System.in);

        String ourDate = scanner.nextLine();
        SimpleDateFormat dateFormat = new SimpleDateFormat("dd-MM-yyyy");

        Calendar calendar = Calendar.getInstance();
        calendar.setTime(dateFormat.parse(ourDate));
        calendar.add(Calendar.DATE, 999+1);
        Date newDate = calendar.getTime();

        System.out.println(dateFormat.format(newDate));
    }
}