/* -*- coding: utf-8 -*-
 *
 * 653.cc: No.653 E869120 and Lucky Numbers - yukicoder
 */

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<string>
#include<vector>
#include<map>
#include<set>
#include<stack>
#include<list>
#include<queue>
#include<deque>
#include<algorithm>
#include<numeric>
#include<utility>
#include<complex>
#include<functional>
 
using namespace std;

/* constant */

/* typedef */

/* global variables */

/* subroutines */

/* main */

int main() {
  string s;
  cin >> s;
  int n = s.size();

  bool ok = true;
  int co = 0, m = 2;
  for (int i = n - 1; i >= 0; i--) {
    int d = s[i] - '0';
    if (m >= 2 && d >= 2 + co && d <= 4 + co)
      m = 2, co = 1;
    else if (m >= 1 && d >= 6 + co && d <= 7 + co) {
      if (i >= n - 1) ok = false;
      else m = 1, co = 0;
    }
    else if (m >= 0 && d == co) {
      if (i > 0) ok = false;
      else m = 0, co = 0;
    }
    else
      ok = false;
  }
  if (co > 0) ok = false;
  
  if (ok) puts("Yes");
  else puts("No");
  return 0;
}