#include <cstdio>
#include <cstdint>
#include <string>

int main() {
  char buf[32768];
  scanf("%s", buf);
  std::string p = buf;
  if (p.length() == 1)
    return puts("No"), 0;

  bool pop = false;
  while (p.length() > 1) {
    int b = p.back();
    if (!('2' <= b && b <= '4')) break;
    p.pop_back();
    pop = true;
    --p.back();
  }

  if (p == "0") return puts("Yes"), 0;
  if (!pop) return puts("No"), 0;

  fprintf(stderr, "> %s\n", p.c_str());
  for (int ch: p)
    if (!(ch == '6' || ch == '7'))
      return puts("No"), 0;

  puts("Yes");
}