#include <bits/stdc++.h>
#define rep(i, a, n) for(int i = a; i < n; i++)
#define REP(i, n) rep(i, 0, n)
#define repb(i, a, b) for(int i = a; i >= b; i--)
#define all(a) a.begin(), a.end()
#define int long long
#define chmax(x, y) x = max(x, y)
#define chmin(x, y) x = min(x, y)
using namespace std;
typedef pair<int, int> P;
const int mod = 1000000007;
const int INF = 1e12;

signed main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    string s;
    cin >> s;
    bool f = true, g = false;
    if(s.size() == 1) f = false;
    repb(i, s.size() - 1, 0){
        int now = s[i] - '0';
        if(g){
            if(!(6 <= now && now <= 7)) f = false;
        }else{
            if(6 <= now && now <= 7){
                g = true;
            }else{
                if(i != 0){
                    if(2 <= now && now <= 4){
                        if(s[i - 1] != '0'){
                            s[i - 1] = s[i - 1] - 1;
                        }else{
                            f = false;
                        }
                    }else{
                        f = false;
                    }
                }else{
                    if(now != 0) f = false;
                }
            }
        }
    }
    if(f) cout << "Yes" << endl;
    else cout << "No" << endl;
}