#include<iostream>
using namespace std;
int days[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};
//判断是否为闰年
bool is_leap(int y)
{
    if(y%4==0&&y%100||y%400==0) return true;
    return false;
}
//判断日期是否合法
bool check(int y,int m,int d)
{
    if(m<=0||m>12) return false;
    if(d==0||(m!=2&&d>days[m])) return false;
    if(m==2){
        // int leap=is_leap? 1:0;
        int leap = y % 4 == 0 && y % 100 || y % 400 == 0;
        if(d>leap+28) return false;
    }
    return true;
}

int a,b,c;
int main()
{
    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(a==y%100&&b==m&&c==d){//年月日
                printf("%04d-%02d-%02d\n",y,m,d);
            }
            else if(c==y%100&&a==m&&b==d){
                 printf("%04d-%02d-%02d\n",y,m,d);
            }
            else if(c==y%100&&a==d&&b==m){
                printf("%04d-%02d-%02d\n",y,m,d);
            }
        }
    }

    return 0;
}