#include <bits/stdc++.h>
int main() {
    int A,B,C;
    std::cin>>A>>B>>C;
    int D=A*10000+B*100+C;
    std::cout<<(19890107<D&&D<20190431?"Yes":"No");
}