#include <iostream>
#include <algorithm>
#include <vector>
#include <cstdio>
#include <string>

using namespace std;

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

  int carry = 0;
  bool bad[2] = {false, false};
  for (int i = s.size() - 1; i >= 0; i--) {
    for (int x : {0, 6, 7}) {
      for (int y : {0, 6, 7}) {
        if (i == s.size() - 1 && (x == 0 || y == 0)) continue;
        if (bad[0] && x != 0) continue;
        if (bad[1] && y != 0) continue;
        if ((x + y + carry) % 10 == s[i] - '0') {
          if (x == 0) bad[0] = true;
          if (y == 0) bad[1] = true;
          carry = (x + y + carry) / 10;
          goto LP;
        }
      }
    }
    cout << "No" << endl;
    return 0;
LP:;
  }
  if (carry == 0) {
    cout << "Yes" << endl;
  } else {
    cout << "No" << endl;
  }
}