import java.io.*;
import java.text.*;
import java.util.*;


public class Main_yukicoder721 {

	private static Scanner sc;
	private static Printer pr;

	private static void solve() {
		String ymd = sc.next();

		Calendar cal = Calendar.getInstance();
		
		try {
			cal.setTime(new SimpleDateFormat("yyyy/MM/dd").parse(ymd));
		} catch (ParseException e) {
			// TODO 自動生成された catch ブロック
			e.printStackTrace();
		}
//		pr.println(cal.toString());
		cal.add(Calendar.DAY_OF_MONTH, 2);
//		pr.println(cal.toString());

		pr.println(new SimpleDateFormat("yyyy/MM/dd").format(cal.getTime()));
	}

	// ---------------------------------------------------
	public static void main(String[] args) {
		sc = new Scanner(INPUT == null ? System.in : new ByteArrayInputStream(INPUT.getBytes()));
		pr = new Printer(System.out);

		solve();

//		pr.close();
		pr.flush();
//		sc.close();
	}

	static String INPUT = null;

	private static class Printer extends PrintWriter {
		Printer(OutputStream out) {
			super(out);
		}
	}
}