//g++ -std=c++11 -Wall -O2 -o main.exe main.cpp

#include <cstdio>
#include <iostream>
#include <string>
#include <vector>
#include <functional>
#include <algorithm>
#include <complex>
#include <numeric>
//最大公約数: gcd()
//最小公倍数: lcm()

#define ll long long int

using namespace std;

template <typename T>
void in(T &t){ //標準入力
    cin >> t;
    return;
}

template <typename T>
void sortasc(vector<T> &v){ //vectorを昇順にソート
    sort(v.begin(), v.end(), std::greater<T>());
    return;
}

template <typename T>
void sortdesc(vector<T> &v){ //vectorを降順にソート
    sort(v.begin(), v.end(), std::less<T>());
    return;
}

int main(){
    int y, m, d;
    scanf("%d/%d/%d", &y, &m, &d);
    d += 2;

    vector<int> end{-1, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
    if(y % 4 == 0){
        if(y % 100 == 0 && y % 400 != 0);
        else end[2]++;
    }

    if(end[m] < d) d -= end[m++];
    if(m > 12) m = 1, y++;

    printf("%04d/%02d/%02d\n", y, m, d);

    return 0;
}