#include <iostream>
#include <string>
#include <vector>
#include <queue>
#include <deque>
#include <algorithm>
#include <set>
#include <map>
#include <bitset>
#include <cmath>
#include <functional>
#include <iomanip>
#define vll vector<ll>
#define vvvl vector<vvl>
#define vvl vector<vector<ll>>
#define VV(a, b, c, d) vector<vector<d>>(a, vector<d>(b, c))
#define VVV(a, b, c, d) vector<vvl>(a, vvl(b, vll (c, d)));
#define re(c, b) for(ll c=0;c<b;c++)
#define all(obj) (obj).begin(), (obj).end()
typedef long long int ll;
typedef long double ld;
using namespace std;

typedef pair<ll, ll> p;
int main(int argc, char const *argv[]) {
  ll a, b, c;std::cin >> a >> b >> c;
  ll MIN = 1989*1000 + 1 * 50 + 8;
  ll MAX = 2019*1000 + 4 * 50 + 30;
  ll num = a * 1000 + b * 50 + c;
  std::cout << (MIN<=num&&num<=MAX?"Yes":"No") << '\n';
  return 0;
}