#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i, n) for(ll i = 0, i##_len = (n); i < i##_len; i++)
#define reps(i, s, n) for(ll i = (s), i##_len = (n); i < i##_len; i++)
#define rrep(i, n) for(ll i = (n) - 1; i >= 0; i--)
#define rreps(i, e, n) for(ll i = (n) - 1; i >= (e); i--)
#define all(x) (x).begin(), (x).end()
#define sz(x) ((ll)(x).size())
#define len(x) ((ll)(x).length())

int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    // ifstream in("input.txt");
    // cin.rdbuf(in.rdbuf());
    string s;
    cin >> s;
    ll y = atoi(s.substr(0, 4).c_str());
    ll m = atoi(s.substr(5, 2).c_str());
    ll d = atoi(s.substr(8, 2).c_str());
    ll days[] = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
    if ((y % 4 == 0) && ((y % 100 != 0) || (y % 400 == 0))) {
        days[1]++;
    }
    d += 2;
    if (days[m - 1] < d) {
        d -= days[m - 1];
        m++;
    }
    if (m > 12) {
        y++;
        m = 1;
    }
    printf("%04lld/%02lld/%02lld\n", y, m, d);
    return 0;
}