#include <iostream>
#include <vector>
#include <string>
#include <algorithm>
using namespace std;

int main(){
    string p0;
    cin >> p0;

    vector<int> p;
    for(int i = p0.length()-1; i >= 0; i--) p.push_back(p0[i]-'0');
    p.push_back(0);
    vector<int> q(p.size(), 0);
    bool isusetwonum = true;
    for(int i = 0; i < p0.length(); i++){
        //cerr << q[i] << " " << p[i] << endl;
        if(isusetwonum && (q[i]+2 == p[i] || q[i]+3 == p[i] || q[i]+4 == p[i])){
            q[i+1] = 1;
        }else if(q[i]+6 == p[i] || q[i]+7 == p[i]){
            isusetwonum = false;
        }else if(p[i] == q[i] && i+1 == p0.length()){
            cout << "Yes" << endl;
            return 0;
        }else{
            break;
        }
    }
    cout << "No" << endl;
    return 0;
}