#include <iostream>
#include <vector>
#include <algorithm>
#include <cmath>
#include <iomanip>
#include <stack>
#include <algorithm>
#include <string>
#include <map>
#include <iterator>
#include <set>
#include <queue>

using namespace std;

int lastDayOfMonth(int year, int month) {

    if (month == 2) {
        if (year % 400 == 0) {
            return 29;
        } else if (year % 100 == 0) {
            return 28;
        } else if (year % 4 == 0) {
            return 29;
        } else {
            return 28;
        }
    } else {
        switch (month) {
            case 1:
                return 31;
            case 3:
                return 31;
            case 4:
                return 30;
            case 5:
                return 31;
            case 6:
                return 30;
            case 7:
                return 31;
            case 8:
                return 31;
            case 9:
                return 30;
            case 10:
                return 31;
            case 11:
                return 30;
            case 12:
                return 31;

        }
    }
}

int extract(string s) {
    if (s[0] == '0') {
        return s[1] - '0';
    } else {
        return stoi(s);
    }
}

string insert(int n) {
    string s;
    if (n <= 9) {
        s += '0';
        s += to_string(n);
        return s;
    } else {
        return to_string(n);
    }
}

int main() {

    string s;
    cin >> s;
    int YYYY = extract(s.substr(0, 4));
    int MM = extract(s.substr(5, 2));
    int DD = extract(s.substr(8, 2));

    int targetDay = DD + 2;

    string result;

    if (targetDay <= lastDayOfMonth(YYYY, MM)) {
    } else {
        targetDay = targetDay - lastDayOfMonth(YYYY, MM);
        if (MM == 12) {
            MM = 1;
            YYYY += 1;
        } else {
            MM += 1;
        }
    }

    result += insert(YYYY);
    result += "/";
    result += insert(MM);
    result += "/";
    result += insert(targetDay);

    cout << result << endl;

    return 0;
}