#include<stdio.h>
#include<stdlib.h>
#include<time.h>

int main(void){
 
	char s[20], s1[20];
	int year, mon, day;
	int i;
	struct tm nntm = { 0, 0, 0, 1, 1, 2000 };
	time_t nnt;
 
	scanf("%s", s);
	//printf("%s\n", s);
 
	s1[0] = s[0];
	s1[1] = s[1];
	s1[2] = s[2];
	s1[3] = s[3];
	s1[4] = 0;
 
	year = atoi(s1);
 
	s1[0] = s[5];
	s1[1] = s[6];
	s1[2] = 0;
 
	mon = atoi(s1);
 
	s1[0] = s[8];
	s1[1] = s[9];
	s1[2] = 0;
 
	day = atoi(s1);
 
	if((year == 2000 || year == 2400) && mon == 2){
		printf("%d/%02d/%02d\n", year, mon, day + 2);
		
	}
	else {
		nntm.tm_year = year;
		nntm.tm_mon = mon - 1;
		nntm.tm_mday = day + 2;
		nnt = mktime(&nntm);
		printf("%d/%02d/%02d\n", nntm.tm_year, nntm.tm_mon + 1, nntm.tm_mday);
	}
	
	return 0;
	
}