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

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

    reverse(p.begin(), p.end());

    bool bad[2] = { false, false };
    int carry = 0;
    for (int i = 0; i < p.size(); i++) {
        for (int a : {6, 7, 0}) {
            for (int b : {6, 7, 0}) {
                if ((i == 0) and (a == 0 or b == 0)) continue;
                if (bad[0] and a != 0) continue;
                if (bad[1] and b != 0) continue;
                if ((a + b + carry) % 10 != p[i] - '0') continue;

                if (a == 0) bad[0] = true;
                if (b == 0) bad[1] = true;
                carry = (a + b + carry) / 10;

                goto LP;
            }
        }
        cout << "No" << endl;
        return 0;

        LP: ;
    }

    if (carry == 0) cout << "Yes" << endl;
    else cout << "No" << endl;

    return 0;
}