#include <bits/stdc++.h>
#define rep(i,a,b) for(int i=a;i<(b);++i)
#define erep(i,a,b) for(int i=a;i<=(int)(b);++i)
#define per(i,a,b) for(int i=(a);i>(b);--i)
#define eper(i,a,b) for(int i=(a);i>=b;--i)
#define pb push_back
#define mp make_pair
#define INF (1<<30)-1
#define MOD 1000000007
#define all(x) (x).begin(),(x).end()
#define vii vector<int>
#define vll vector<long long>
using namespace std;
typedef long long ll;
typedef pair<int,int> Pii;
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; }
int dy[]={0, 0, 1, -1};
int dx[]={1, -1, 0, 0};
int gcd(int a,int b){return b?gcd(b,a%b):a;}
int lcm(int a,int b){return a/gcd(a, b)*b;}

string today;
int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);
    cin >> today;
    int yy, mm, dd;
    yy = stoi(today.substr(0, 4));
    mm = stoi(today.substr(5, 2));
    dd = stoi(today.substr(8, 2));
    dd+=2;
    bool flag = true;
    int day[] = { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };
    if ((yy % 4 == 0) ^ (yy % 100 == 0) ^ (yy % 400 == 0)) {
        if (mm == 2 && dd > 29) {
            mm++, dd -= 29; 
        } else if (mm == 2 && dd == 29) flag = false;
    }

    rep(i, 0, 12) {
        if (flag && mm == i+1 && day[i] < dd) {
            mm++, dd -= day[i];
            break;
        }
    }
    if (mm > 12) mm -= 12, yy++;
    string ans = to_string(yy);
    ans += "/";
    if (mm < 10) ans += "0" + to_string(mm);
    else ans += to_string(mm);
    ans += "/";
    if (dd < 10) ans += "0" + to_string(dd);
    else ans += to_string(dd);
    cout << ans << endl;
    return 0;
}