import java.util.ArrayList;
import java.util.Collections;
import java.util.List;
import java.util.Scanner;
public class DateIssue {
public static void main(String[] args) {
Scanner scanner = new Scanner(System.in);
String string = scanner.next();
String [] strings = string.split("/");
int num1 = Integer.parseInt(strings[0]);
int num2 = Integer.parseInt(strings[1]);
int num3 = Integer.parseInt(strings[2]);
List<String> list = new ArrayList<>();
for(int i = 0;i<3;i++) {
if(i==0) {
// 年 月 日
boolean plus = checkYearPlus(num1);
int check = checkYear(num1);
if(check<0) {
continue;
}
if(checkMonth(num2)&&checkDay(plus, num2,num3)){
if(check==0) {
StringBuilder stringBuilder = new StringBuilder();
stringBuilder.append(1900+num1).append("-");
if(num2<10) {
stringBuilder.append(0);
}
stringBuilder.append(num2).append("-");
if(num3<10) {
stringBuilder.append(0);
}
stringBuilder.append(num3);
list.add(stringBuilder.toString());
}else {
StringBuilder stringBuilder = new StringBuilder();
stringBuilder.append(2000+num1).append("-");
if(num2<10) {
stringBuilder.append(0);
}
stringBuilder.append(num2).append("-");
if(num3<10) {
stringBuilder.append(0);
}
stringBuilder.append(num3);
list.add(stringBuilder.toString());
}
}
}else if(i==1) {
// 日 月 年
boolean plus = checkYearPlus(num3);
int check = checkYear(num3);
if(check<0) {
continue;
}
if(checkMonth(num1)&&checkDay(plus, num1,num2)){
if(check==0) {
StringBuilder stringBuilder = new StringBuilder();
stringBuilder.append(1900+num3).append("-");
if(num1<10) {
stringBuilder.append(0);
}
stringBuilder.append(num1).append("-");
if(num2<10) {
stringBuilder.append(0);
}
stringBuilder.append(num2);
list.add(stringBuilder.toString());
}else {
StringBuilder stringBuilder = new StringBuilder();
stringBuilder.append(2000+num3).append("-");
if(num1<10) {
stringBuilder.append(0);
}
stringBuilder.append(num1).append("-");
if(num2<10) {
stringBuilder.append(0);
}
stringBuilder.append(num2);
list.add(stringBuilder.toString());
}
}
}else {
// 日 月 年
boolean plus = checkYearPlus(num3);
int check = checkYear(num3);
if(check<0) {
continue;
}
if(checkMonth(num2)&&checkDay(plus, num2,num1)){
if(check==0) {
StringBuilder stringBuilder = new StringBuilder();
stringBuilder.append(1900+num3).append("-");
if(num2<10) {
stringBuilder.append(0);
}
stringBuilder.append(num2).append("-");
if(num1<10) {
stringBuilder.append(0);
}
stringBuilder.append(num1);
list.add(stringBuilder.toString());
}else {
StringBuilder stringBuilder = new StringBuilder();
stringBuilder.append(2000+num3).append("-");
if(num2<10) {
stringBuilder.append(0);
}
stringBuilder.append(num2).append("-");
if(num1<10) {
stringBuilder.append(0);
}
stringBuilder.append(num1);
list.add(stringBuilder.toString());
}
}
}
}
Collections.sort(list);
String pre = "";
for(int i = 0;i<list.size();i++) {
if(pre.equals("")) {
pre = list.get(i);
System.out.println(list.get(i));
}else {
if(!pre.equals(list.get(i))) {
System.out.println(list.get(i));
}
}
}
}
public static int checkYear(int year) {
if(year+1900>=1960&&year+1900<=2000) {
return 0;
}else if(year+2000>=2000&&year+2000<=2100) {
return 1;
}else {
return -1;
}
}
public static boolean checkYearPlus(int year) {
if(year%400==0||year%4==0&&year%100!=0) {
return true;
}
return false;
}
public static boolean checkMonth(int month) {
return month>=1&&month<=12;
}
public static boolean checkDay(Boolean plus,int month,int day) {
if(month==1||month==3||month==5||month==7||month==8||month==10||month==12) {
return day>=1&&day<=31;
}else {
if(month==2&&plus) {
return day>=1&&day<=29;
}else if(month==2&&!plus){
return day>=1&&day<=28;
}else {
return day>=1&&day<=30;
}
}
}
}
无敌模拟大法