#include<bits/stdc++.h>
using namespace std;
constexpr int Inf = 2000000000;
constexpr long long INF= 2000000000000000000;

template<typename T> inline bool chmax(T &a, T b) { if (a < b) { a = b; return true; } return false; }
template<typename T> inline bool chmin(T &a, T b) { if (a > b) { a = b; return true; } return false; }

template<typename T,typename U>
T modpow(T N, U P, T M = -1) {
    if(P < 0) return 0;
    T ret = 1;
    if(M != -1) ret %= M;
    while(P) {
        if(P & 1) {
            if(M == -1) ret *= N;
            else ret = ret * N % M;
        }
        P /= 2;
        if(M == -1) N *= N;
        else N = N * N % M;
    }
    return ret;
}

constexpr long long MOD = 1000000007;

int main() {
    string s;
    cin >> s;
    bool ret = true;
    
    reverse(s.begin(),s.end());
    if(not ('2' <= s[0] && s[0] <= '4')) ret = false;
    int phase = 0;
    for(int i = 1;i < s.size();i++) {
        int a = s[i] - '0';
        if(phase == 0) {
            if(3 <= a && a <= 5) continue;
            else if(a == 7 || a == 8) phase++;
            else {
                if(i == s.size() - 1 && a == 1) continue;
                else ret = false;
            }
        }
        else {
            if(not (a == 6 || a == 7)) ret = false;
        }
    }

    if(not (s[s.size() - 1] == '1' || ('6' <= s[s.size() - 1] && s[s.size() - 1] <= '8'))) ret = false;
    
    if(ret) cout << "Yes" << endl;
    else cout << "No" << endl;
}