#include <bits/stdc++.h>

using namespace std;

bool flag = false;
bool ans = true;

int check(int a) {
    if (!flag && ( a == 2 || a == 3 || a == 4)) return 1;
    else if (!flag &&( a==7 || a == 6) ){ flag = true; return 0;}
    else if (flag && (a==7 || a == 6))  return 0;
    else return -1;
}

int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);

    string s;
    cin >> s;
    vector<int> p;
    for (int i = 0;i < s.size();i++){
        p.push_back(s[s.size() -i-1] - '0');
    }

    p.push_back(0);

    for (int i = 0;i < s.size()-1;i++){
        if (check(p[i]) >= 0) p[i+1] -= check(p[i]);
        else ans = false;
    }

    if (p[s.size() - 1] != 0 && p[s.size() - 1] != 6 && p[s.size() - 1] != 7) ans = false;

    cout << (ans? "Yes":"No") << endl;


    return 0;

}