#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)&&(Y%1000 != 100)&&(Y%1000 != 200)&&(Y%1000 != 300) ){
		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;
}