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

int main()
{
    int a,b,c;
    scanf("%d/%d/%d",&a,&b,&c);

    for(int year = 1960; year < 2060; 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);
        else if(month == 2){
            if(year%400 == 0||(year%4 == 0 && year%100 != 0))
            {
                if(day>29) break;
            }
            else if(day>28) break;

        }
        else if(day>30) break;

        if(year%100 == a && month == b && day == c)
        {
            printf("%d-%02d-%02d\n",year,month,day);
        }
        else if(year%100 == c && month == a && day == b)
        {
            printf("%d-%02d-%02d\n",year,month,day);
        }
        else if(year%100 == c && month == b && day == a)
        {
            printf("%d-%02d-%02d\n",year,month,day);
        }
    }

}