#include<cstdio>
int a,b,c;
int months[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};
bool check(int year,int month,int day){
if(month<=0||month>12||day<=0) return false;
if(month!=2) return day<=months[month];
else return day<=28+(year%400==0||year%4==0&&year%100!=0);
}
int main(){
scanf("%d/%d/%d",&a,&b,&c);
for(int date=19600101;date<=20591231;date++){
int year=date/10000;
int month=date%10000/100;
int day=date%100;
if(year%100==a&&month==b&&day==c
||a==month&&b==day&&c==year%100
||a==day&&b==month&&c==year%100){
if(check(year,month,day)){
printf("%d-%02d-%02d",year,month,day);
printf("\n");}
}
}
return 0;
}