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

int months[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};

int main(){
	int a,b,c;
	scanf("%d/%d/%d",&a,&b,&c);
	for(int year=1960;year<=2059;year++)
	for(int month=1;month<=12;month++)
	for(int day=1;day<=31;day++){
		if(month==1||month==3||month==5||month==7||month==8||month==10||month==12) ;
		if(month==2){
			if((year%4==0&&year%100!=0)||year%400==0)	if(day>29)	break;
			else	if(day>28)	break;
		}
		else	if(day>30)	break;
		
		if( (year%100==a && month==b && day==c) ||(month==a && day==b && year%100==c) ||(day==a && month==b && year%100==c) )
			printf("%d-%02d-%02d\n",year,month,day);
	}
	return 0;
}