#include <bits/stdc++.h>
using namespace std;
int months[] = {0,31,28,31,30,31,30,31,31,30,31,30,31};
int main()
{
	int a,b,c;
	scanf("%d/%d/%d",&a,&b,&c);

	for(int year=1960;year<=2059;year++)
	{
		if((year%4==0&&year%100!=0)||year%400==0) months[2]=29;
		else months[2]=28;

		for(int month=1;month<=12;month++)
		{
			for(int day=1;day<=months[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;
}