#include <bits/stdc++.h>
using namespace std;

int main() {
  string Y, M, D;
  cin >> Y >> M >> D;
  if (M.size() == 1) M = '0' + M;
  if (D.size() == 1) D = '0' + D;
  cout << (("19890108" <= Y + M + D && Y + M + D <= "20190430") ? "Yes" : "No") << "\n";
}