#include<bits/stdc++.h>
using namespace std;
int month[]={0, 31, 28 ,31, 30 ,31, 30 ,31 ,31 ,30 ,31, 30 ,31};
bool isleap(int year){
return (year%4==0&&year%100||year%400==0);
}
bool check(int y,int m,int d){
if(m<=0 || m>12 || d==0)return false;
if(m==2){
return d<=28+isleap(y);
}
else return d<=month[m];
}
int main(){
int a,b,c;
scanf("%d/%d/%d",&a,&b,&c);
for(int i=19600101;i<=20591231;i++){
int y=i/10000,m=i%10000/100,d=i%100;
if(check(y,m,d)){
if((y%100==a&&m==b&&d==c)||(y%100==c&&m==a&&d==b)||(y%100==c&&m==b&&d==a)){
printf("%d-%02d-%02d\n",y,m,d);
}
}
}
return 0;
}