#include<bits/stdc++.h>
using namespace std;
using ll = long long;

template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }

#define FOR(i,a,b) for(ll i=(a);i<(b);++i)
#define ALL(v) (v).begin(), (v).end()
#define p(s) cout<<(s)<<endl
#define p2(s, t) cout << (s) << " " << (t) << endl
#define br() p("")
#define pn(s) cout << (#s) << " " << (s) << endl

bool is_uruu(int y) {
    return (y % 4 == 0 && y % 100 != 0 || y % 400 == 0) ? true : false;
}

int cal[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};

int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);

    // input
    string s; cin >> s;
    
    ll y = stoi(s.substr(0, 4));
    ll m = stoi(s.substr(5, 2));
    ll d = stoi(s.substr(8, 2));

    if(is_uruu(y)){
        cal[2] = 29;
    }

    d += 2;
    if(d>cal[m]){
        d %= cal[m];
        m++;
    }

    if(m==13){
        m = 1;
        y++;
    }

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