use std::io::*;
use std::str::FromStr;
//use std::num;
//use std::cmp;
//use std::collections::VecDeque;
//use std::io::{self, BufRead};
/*
const LOW_CASE_ALPHABET: [char; 26] = [
	'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', 'o', 'p', 'q', 'r', 's',
	't', 'u', 'v', 'w', 'x', 'y', 'z',
];
*/
fn main() {
	let date_string: String = read();
	let date_parts: Vec<&str> = date_string.split('/').collect();
	let mut year = 0;
	let mut month = 0;
	let mut day = 0;
	
	if date_parts.len() == 3{
		year = stoi(date_parts[0].to_string());
		month = stoi(date_parts[1].to_string());
		day = stoi(date_parts[2].to_string());
	}

	day += 2;

	if year % 100 == 0 || year % 400 != 0 && year % 4 != 0{
		if (month == 1 || month == 3 || month == 5 || month == 7 || month == 8 || month == 10 || month == 12) && day > 31{
			month += 1;
			day -= 31;
		} else if (month == 4 || month == 6 || month == 9 || month == 11) && day > 30{
			month += 1;
			day -= 30
		} else if month == 2 && day > 28{
			month += 1;
			day -= 28
		}
	}else if year % 4 == 0 || year % 400 == 0{
		if (month == 1 || month == 3 || month == 5 || month == 7 || month == 8 || month == 10 || month == 12) && day > 31{
			month += 1;
			day -= 31;
		} else if (month == 4 || month == 6 || month == 9 || month == 11) && day > 30{
			month += 1;
			day -= 30
		} else if month == 2 && day > 29{
			month += 1;
			day -= 29
		}
	}

	if month > 12{
		year += 1;
		month -= 12;
	}

	if month < 10 && day < 10{
		print!("{}/0{}/0{}",year,month,day);
	}else if month < 10{
		print!("{}/0{}/{}",year,month,day);
	}else if day < 10{
		print!("{}/{}/0{}",year,month,day);
	}else{
		print!("{}/{}/{}",year,month,day);
	}

}

pub fn ctoi(c: char) -> isize {
	let n = c as isize - '0' as isize;

	return n;
}

pub fn stoi(c: String) -> isize {
	let n = c.parse::<isize>().unwrap();

	return n;
}

pub fn find_char(sentence: Vec<char>, target: char, start: isize) -> isize {
	for _i in start as usize..sentence.len() {
		if sentence[_i] == target {
			return _i as isize;
		}
	}
	return -1;
}

pub fn hex_to_binary(hex_string: &str, x: u32) -> Option<String> {
	match i64::from_str_radix(hex_string, x) {
		Ok(decimal) => Some(format!("{}", decimal)),
		Err(_) => None,
	}
}

pub fn my_floor(x: f64) -> f64 {
	let rounded = (x * 1000.0).floor() / 1000.0;

	rounded
}

pub fn upper_lower(x: char) -> char {
	let result: char;

	if x.is_uppercase() {
		result = x.to_ascii_lowercase();
	} else if x.is_lowercase() {
		result = x.to_ascii_uppercase();
	} else {
		result = x;
	}

	result
}

pub fn maxf_2(x: f64, y: f64) -> f64 {
	let result;

	if x >= y {
		result = x;
	} else {
		result = y;
	}

	result
}

pub fn max_2(x: isize, y: isize) -> isize {
	let result;

	if x >= y {
		result = x;
	} else {
		result = y;
	}

	result
}

pub fn max_u_2(x: usize, y: usize) -> usize {
	let result;

	if x >= y {
		result = x;
	} else {
		result = y;
	}

	result
}

pub fn min_u_2(x: usize, y: usize) -> usize {
	let result;

	if x <= y {
		result = x;
	} else {
		result = y;
	}

	result
}

pub fn min_2(x: isize, y: isize) -> isize {
	let result;

	if x >= y {
		result = y;
	} else {
		result = x;
	}

	result
}

pub fn min_2_i32(x: i32, y: i32) -> i32 {
	let result;

	if x >= y {
		result = y;
	} else {
		result = x;
	}

	result
}

pub fn max_3(x: isize, y: isize, z: isize) -> isize {
	let result;
	if x >= y && y >= z {
		result = x;
	} else if x >= z && z >= y {
		result = x;
	} else if y >= x && x >= z {
		result = y;
	} else if y >= z && z >= x {
		result = y;
	} else if z >= x && x >= y {
		result = z;
	} else {
		result = z;
	}

	result
}

pub fn max_u_3(x: usize, y: usize, z: usize) -> usize {
	let result;
	if x >= y && y >= z {
		result = x;
	} else if x >= z && z >= y {
		result = x;
	} else if y >= x && x >= z {
		result = y;
	} else if y >= z && z >= x {
		result = y;
	} else if z >= x && x >= y {
		result = z;
	} else {
		result = z;
	}

	result
}

pub fn min_3(x: isize, y: isize, z: isize) -> isize {
	let result;
	if x <= y && y <= z {
		result = x;
	} else if x <= z && z <= y {
		result = x;
	} else if y <= x && x <= z {
		result = y;
	} else if y <= z && z <= x {
		result = y;
	} else if z <= x && x <= y {
		result = z;
	} else {
		result = z;
	}

	result
}

pub fn min_u_3(x: usize, y: usize, z: usize) -> usize {
	let result;
	if x <= y && y <= z {
		result = x;
	} else if x <= z && z <= y {
		result = x;
	} else if y <= x && x <= z {
		result = y;
	} else if y <= z && z <= x {
		result = y;
	} else if z <= x && x <= y {
		result = z;
	} else {
		result = z;
	}

	result
}

pub fn read_text() -> String {
	let mut word = String::new();
	std::io::stdin().read_line(&mut word).ok();
	let answer = word.trim().to_string();

	answer
}

pub fn read_array() -> Vec<char> {
	let array: String = read();
	let chars: Vec<char> = array.trim().chars().collect::<Vec<char>>();
	chars
}

pub fn read<T: FromStr>() -> T {
	let stdin = stdin();
	let stdin = stdin.lock();
	let token: String = stdin
		.bytes()
		.map(|c| c.expect("failed to read char") as char)
		.skip_while(|c| c.is_whitespace())
		.take_while(|c| !c.is_whitespace())
		.collect();
	token.parse().ok().expect("failed to parse token")
}