#include <stdio.h>
int main(void){
	int Y,M,D;
	int month[13] = {0,31,28,31,30,31,30,31,31,30,31,30,31};		
//	int monthU[13] = {0,31,29,31,30,31,30,31,31,30,31,30,31};		//	閏年
	
	scanf("%d/%d/%d",&Y,&M,&D);
	
	//	閏年、普段の月日を考慮
	if(Y%4 == 0){
		month[2] += 1;
	}
	D += 2;
	if(D > month[M]){
		D -= month[M];
		M++;
		if(M > 12){
			M -= 12;
			Y++;
		}
	}
	
	printf("%d/",Y);
	if(M < 10){
		printf("0");
	}
	printf("%d/",M);
	if(D < 10){
		printf("0");
	}
	printf("%d\n",D);
	
	return 0;
}