#include<bits/stdc++.h>
using namespace std;
int ds[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
bool judge(int y, int m, int d) {
if (m == 0 | m > 12) return false;
if (d == 0) return false;
if (m != 2) {
if (d > ds[m]) return false;
} else {
int leap = y % 100 && y % 4 == 0 || y % 400 == 0;
if (d > 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 y = date / 10000, m = date % 10000 / 100, d = date % 100;
if (judge(y, m, d)) {
if (y % 100 == a && m == b && d == c ||m == a && d == b && y % 100 == c ||d == a && m == b && y % 100 == c) {
printf("%d-%02d-%02d\n", y, m, d);
}
}
}
return 0;
}