#include <iostream>
using namespace std;

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

    bool flag = false;
    bool only67[30000] = { true };    // only67[i] := [0, i)が6または7であること
    for (int i = 1; i < p.size(); i++) {
        only67[i] = only67[i - 1];
        only67[i] &= (p[i - 1] == '6' or p[i - 1] == '7');
    }

    // A+B=pを満たす(A, B)が存在するかどうかを調べる
    int carry = 0;
    for (int i = p.size() - 1; i >= 1; i--) {
        int d = p[i] - '0';
        bool valid = false;

        for (int a = 6; a <= 7; a++) {
            for (int b = 6; b <= 7; b++) {
                if ((a + b + carry) % 10 == d) {
                    valid = true;
                }
            }
        }

        if (not valid) break;

        int nd = p[i - 1] - '0';

        // 片方を打ち切る
        if ((nd == 7 or nd == 8) and only67[i - 1]) {
            flag = true;
        }
        // 両方を打ち切る
        if (i == 1 and nd == 1) {
            flag = true;
        }

        carry = 1;
    }

    if (flag) cout << "Yes" << endl;
    else cout << "No" << endl;
    
    return 0;
}