fn main() {
    let mut xx = String::new();
    std::io::stdin().read_line(&mut xx).ok();
    let xx: Vec<usize> = xx.split(['\n', '/']).flat_map(str::parse).collect();

    let (mut y, mut m, mut d) = (xx[0], xx[1], xx[2]);

    let n_days = if y % 400 == 0 || (y % 100 != 0 && y % 4 == 0) {
        [31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31]
    } else {
        [31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31]
    };

    d += 2;
    if d > n_days[m - 1] {
        d %= n_days[m - 1];
        m += 1;
    }
    if m == 13 {
        m = 1;
        y += 1;
    }

    println!("{y}/{m:02}/{d:02}");
}