#include<bits/stdc++.h>
using namespace std;

int main(){
	cin.tie(0),ios::sync_with_stdio(false);
	int yy,mm,dd;char c;
	cin>>yy>>c>>mm>>c>>dd;
	int n;
	if(mm==2){
		if((yy%4!=0)||(yy%100==0&&yy%400!=0))n=28;
		else n=29;
	}else if((mm<8&&mm%2==1)||(mm>=8&&mm%2==0))n=31;
	else n=30;
	dd+=2;
	if(dd>n){
		dd%=n;
		++mm;
		if(mm>12){
			mm%=12;
			++yy;
		}
	}
	cout<<yy<<"/"s<<setfill('0')<<setw(2)
		<<mm<<"/"s<<setfill('0')<<setw(2)<<dd<<"\n"s;
}