//#include <bits/stdc++.h>
#include <stdio.h>
#include <algorithm>
#include <iostream>
#include <string>
#include <vector>
#include <functional>
#include <map>
#include <iomanip>
#include <math.h> 
#include <stack>
#include <queue>
#include <bitset>
#include <cstdlib>
#include <tuple>
#include <cctype>
#include <ctype.h>
#include <set>
#include <sstream>
using namespace std;
//#define int long long
#define rep(i,s,n) for(int i = s;i<n;i++)
#define repe(i,s,n) for(int i = s;i<=n;i++)
#define rrep(i,s,n) for(int i = (n)-1;i>=(s);i--)
#define all(v) (v).begin(),(v).end()
#define pb push_back
#define fi first
#define se second
#define chmin(a,b) a=min((a),(b))
#define chmax(a,b) a=max((a),(b))
typedef long long ll;
typedef pair<int, int>pint;
typedef vector<int>vint;
typedef vector<pint>vpint;
typedef pair<pint, int> P1;
typedef pair<int, pint> P2;
typedef pair<pint, pint> PP;
static const ll maxLL = (ll)1 << 62;
const ll MOD = 1000000007;
const ll INF = 1e18;
int ca[12] = { 31,28,31,30,31,30,31,31,30,31,30,31 };
int year;
int mon, day;

void func() {

	cout << year << "/" << setw(2) << setfill('0') << mon << "/" << setw(2) << setfill('0') << day << endl;

}

signed main() {
	
	scanf("%d/%d/%d", &year, &mon, &day);

	//cout << "year->"<< year << " mon->" << mon << " day->" << day << endl;

	if (year % 400 == 0 || (year % 4 == 0 && year % 100 != 0)) {
		//printf("うるう年です€n");
		ca[1] = 29;
	}
	

	if (day + 2 > ca[mon - 1]) {
		day += 2;
		day -= ca[mon - 1];
		mon++;

		if (mon > 12) {
			mon = 1;
			year++;
			func();
		}
		else {
			func();
		}
	}
	else {
		day += 2;
		func();
	}





	getchar();
	getchar();
	return 0;
}