#include <bits/stdc++.h>

using namespace std;

#define REP(i,n) for(int i=0; i<int(n); i++)
#define FOR(i,m,n) for(int i=int(m); i<int(n); i++)
#define ALL(obj) (obj).begin(),(obj).end()
#define VI vector<int>
#define VLL vector<long long>
#define VVI vector<vector<int>>
#define VVLL vector<vector<long long>>
#define VC vector<char>
#define VS vector<string>
#define VVC vector<vector<char>>
#define fore(i,a) for(auto &i:a)
typedef long long ll;
typedef pair <int, int> P;
template<class T> bool chmax(T &a, T b) { if (a < b) { a = b; return true; } return false; }
template<class T> bool chmin(T &a, T b) { if (a > b) { a = b; return true; } return false; }
const int  INF = 2147483647;
const ll INFL = 9223372036854775807;
const ll mod = 1000000007;



int main() {
	int y, m, d;
	scanf("%d/%d/%d", &y, &m, &d);
	d += 2;

	VI month = { 0,31,28,31,30,31,30,31,31,30,31,30,31 };
	if (y % 4 == 0) {
		if (y % 100 == 0 && y % 400 != 0);
		else month[2]++;
	}
	if (month[m] < d) {
		d -= month[m];
		m++;
	}
	if (m > 12)m -= 12, y++;

	cout << setw(4) << setfill('0') << y << '/';
	cout << setw(2) << setfill('0') << m << '/';
	cout << setw(2) << setfill('0') << d << endl;;
	return 0;
}