#include <iostream>
#include <ios>
#include <iomanip>
using namespace std;
int main(){
	int YY,MM,DD;
	char dd;
	cin>>YY>>dd>>MM>>dd>>DD;
	DD+=2;
	switch(MM){
		case 2:{
			if(YY%4==0){
				if(YY%100!=0){
					if(DD>29){
						DD-=29;
						MM++;
					}
				}else{
					if(YY%400==0){
						if(DD>29){
							DD-=29;
							MM++;
						}
					}else{
						if(DD>28){
							DD-=28;
							MM++;
						}
					}
				}
			}else{
				if(DD>28){
					DD-=28;
					MM++;
				}
			}
			break;
	       }
		case 4:
		case 6:
		case 9:
		case 11:{
			if(DD>30){
				DD-=30;
				MM++;
			}
			break;
		}
		case 12:{
			if(DD>31){
				DD-=31;
				MM-=11;
				YY++;
			}
			break;
		}
		default:{
			if(DD>31){
				DD-=31;
				MM++;
			}
		}
	}
	cout<<setfill('0')<<right<<setw(4)<<YY<<"/"<<setw(2)<<MM<<"/"<<setw(2)<<DD<<endl;
	return 0;
}