#include "bits/stdc++.h"
using namespace std;
typedef long long ll;
#define rep(i,n) for(int i=0;i<(int)(n);i++)
int gcd(int a,int b){return b?gcd(b,a%b):a;}

void daypls(int& y,int& m,int& d) {
    d+=2;
    if ((m<=7&&m%2==1)||(m>=8&&m%2==0)) {//31days
        m+=d>31?1:0;
        d--;d%=31;d++;
        y+=m>12?1:0;
        m%=12;
    } else if (m!=2) {
        m+=d>30?1:0;
        d--;d%=30;d++;
    } else {
        if (y%400==0||(y%100!=0&&y%4==0)) {
            m+=d>29?1:0;
            d--;d%=29;d++;
        } else {
            m+=d>28?1:0;
            d--;d%=28;d++;
        }
    }
}

int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    int y,m,d;
    scanf("%d/%d/%d",&y,&m,&d);
    daypls(y,m,d);
    cout <<y<<'/';
    if (m/10<1) cout << 0;
    cout << m << '/';
    if (d/10<1) cout << 0;
    cout << d << endl;
    return 0;
}