#include <bits/stdc++.h>
time_t waktu = clock();
void gettime() {
  printf("\nTime : %.2lf", (clock() - waktu) / double(CLOCKS_PER_SEC));
}
struct input {
  int tgl, bln, tahun;
};
bool comp(input a, input b) {
  if (a.tahun != b.tahun)
    return a.tahun < b.tahun;
  else if (a.bln != b.bln)
    return a.bln < b.bln;
  else
    return a.tgl < b.tgl;
}
using namespace std;
int main() {
  int n, i, j, k = 0, tgl, bln, tahun,
               bulan[13] = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31},
               maks = 0, cek, indeks = -1;
  char data[100005] = {}, hasil2[15] = {"00-00-0000"};
  input hasil[150000] = {};
  scanf("%s", &data);
  n = strlen(data);
  for (i = 0; i < n - 9; i++) {
    if (data[i + 2] == '-' && data[i + 5] == '-' && data[i] != '-' &&
        data[i + 1] != '-' && data[i + 3] != '-' && data[i + 4] != '-' &&
        data[i + 6] != '-' && data[i + 7] != '-' && data[i + 8] != '-' &&
        data[i + 9] != '-') {
      tgl = (data[i] - '0') * 10 + (data[i + 1] - '0');
      bln = (data[i + 3] - '0') * 10 + (data[i + 4] - '0');
      tahun = (data[i + 6] - '0') * 1000 + (data[i + 7] - '0') * 100 +
              (data[i + 8] - '0') * 10 + (data[i + 9] - '0');
      if (tahun >= 2013 && tahun <= 2014 && bln >= 1 && bln <= 12 && tgl >= 1 &&
          tgl <= bulan[bln]) {
        hasil[k].tgl = tgl;
        hasil[k].bln = bln;
        hasil[k].tahun = tahun;
        k++;
      }
    }
  }
  sort(hasil, hasil + k, comp);
  cek = 1;
  for (i = 1; i < k; i++) {
    if (hasil[i].tgl == hasil[i - 1].tgl && hasil[i].bln == hasil[i - 1].bln &&
        hasil[i].tahun == hasil[i - 1].tahun)
      cek++;
    else {
      if (cek > maks) {
        maks = cek;
        indeks = i - 1;
      }
      cek = 1;
    }
  }
  if (cek > maks) {
    maks = cek;
    indeks = i - 1;
  }
  hasil2[0] = hasil[indeks].tgl / 10 + '0';
  hasil2[1] = hasil[indeks].tgl % 10 + '0';
  hasil2[3] = hasil[indeks].bln / 10 + '0';
  hasil2[4] = hasil[indeks].bln % 10 + '0';
  hasil2[6] = hasil[indeks].tahun / 1000 + '0';
  hasil2[7] = (hasil[indeks].tahun / 100) % 10 + '0';
  hasil2[8] = (hasil[indeks].tahun / 10) % 10 + '0';
  hasil2[9] = hasil[indeks].tahun % 10 + '0';
  printf("%s", hasil2);
  return 0;
}
