#include<bits/stdc++.h>
#include<string>
using namespace std;
int month[13]={0,31,28,31,30,31,30,31,31,30,31,30,31};
vector<int>arr;
void chack(int y,int m,int d)
{
	int year;
	int ans=0;
	if(y>=60)
	{
		ans+=1900+y;
		year=ans;      
	}
	else
	{
		ans+=2000+y;
		year=ans;   
	}
	    ans=ans*10+m/10;
        ans=ans*10+m%10; 
		ans=ans*10+d/10;
		ans=ans*10+d%10;
    if(m>12)
    {
    	return;
	}
	else
	{
	    if(m!=2)
        {
            if(d<=month[m])
    	    {
              printf("%d-%02d-%02d\n",year,m,d);
              return ;
	        }
	        else
	          return ;
	    }
	   else
	   {
	   	  if((year%4==0&&year%100!=0)||year%400==0)
			{
		       if(d<=29)
			   {
		         printf("%d-%02d-%02d\n",year,m,d);
				 return ;	
	     	   }	
	     	   else
	     	   return ;
				 	
		    } 
		    else
		    {
		        if(d<=28)
			   {
		         printf("%d-%02d-%02d\n",year,m,d);
				 return ;	
	     	   }	
	     	   else
	     	   return ;
				 	
			}
	   }
	  
		
	}	
	}
	
    
		 
	

int main ()
{
	int A,B,C;
	scanf("%d/%d/%d",&A,&B,&C); 
	int d;
	chack(A,B,C);
	chack(C,B,A);
	chack(C,A,B);
	return 0;
 } 
 /*
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>

using namespace std;

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

bool check_valid(int year, int month, int day)
{
    if (month == 0 || month > 12) return false;
    if (day == 0) return false;
    if (month != 2)
    {
        if (day > days[month]) return false;
    }
    else
    {
        int leap = year % 100 && year % 4 == 0 || year % 400 == 0;
        if (day > 28 + leap) return false;
    }

    return true;
}

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

    for (int date = 19600101; date <= 20591231; date ++ )
    {
        int year = date / 10000, month = date % 10000 / 100, day = date % 100;
        if (check_valid(year, month, day))
        {
            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;
}*/