#include<bits/stdc++.h>

using namespace std;
using ll=long long;
#define rep2(i, a, n) for(int i = (a); i < (n); i++)
#define rep(i, n) rep2(i,0,n)

int main(){
  cin.tie(nullptr);ios_base::sync_with_stdio(false);
  string input,field;
  cin>>input;
  istringstream stream(input);
  getline(stream, field,'/');
  int y=stoi(field);
  getline(stream, field,'/');
  int m=stoi(field);
  getline(stream, field,'/');
  int d=stoi(field);
  int day[14]={0,31,28,31,30,31,30,31,31,30,31,30,31,31};
	if(y%4==0)day[2]=29;
	if(y%100==0){
		if(y%400==0)day[2]=29;
		else day[2]=28;
	}
	
	d+=2;
	if(day[m]-d<0){
		d=d-day[m];
		m++;
		if(m==13){
			m=1;
			y++;
		}
	}
	
	string yy="",mm="",dd="";
	yy=to_string(y);
	
	if(m<10)mm="0";
	mm+=to_string(m);

	if(d<10)dd="0";
	dd+=to_string(d);
	
	cout << yy << "/" << mm << "/" << dd << endl;
}