package yukicoder;

import java.util.HashMap;
import java.util.Map;
import java.util.Map.Entry;
import java.util.Scanner;
import java.util.Set;

public class DieTeria {

	static Map<Integer, Integer> lastDay = new HashMap<Integer, Integer>() {
		{
			put(1, 31);
			put(2, 28);
			put(3, 31);
			put(4, 30);
			put(5, 31);
			put(6, 30);
			put(7, 31);
			put(8, 31);
			put(9, 30);
			put(10, 31);
			put(11, 30);
			put(12, 31);
		}
	};

	// 日付をn日後に進める。
	static int n = 2;

	public static void main(String[] args) {
		// 標準入力から読み込む際に、Scannerオブジェクトを使う。
		Scanner sc = new Scanner(System.in);

		String s = sc.next();
		int year = Integer.parseInt(s.split("/")[0]);
		int month = Integer.parseInt(s.split("/")[1]);
		int day = Integer.parseInt(s.split("/")[2]);

//		 int year = 2001;
//		 int month = 2;
//		 int day = 27;

		if (isUruu(year)) {
			lastDay.put(2, 29);
		}
		

		if (isOverEndOfMonth(month, day + n)) {
			day = reCalucurateDay(month, day + n);
			if (isOverEndOfYear(year, month + 1)) {
				month = reCalucurateMonth(month);
				year++;
			} else {
				month++;
			}
		} else {
			day += n;
		}

		System.out.println(String.format("%04d/%02d/%02d", year, month, day));
	}

	static boolean isUruu(int year) {

		if (year % 400 == 0) {
			return true;
		} else if (year % 100 == 0) {
			return false;
		} else if (year % 4 == 0) {
			return true;
		}

		return false;
	}

	static int reCalucurateDay(int month, int day) {
		return day - lastDay.get(month);
	}

	static int reCalucurateMonth(int month) {
		return 1;
	}

	static boolean isOverEndOfMonth(int month, int day) {
		return (day > lastDay.get(month));
	}

	static boolean isOverEndOfYear(int year, int month) {
		return (month > 12);
	}

}