#include "bits/stdc++.h"
using namespace std;

#define DEBUG(x) cout<<#x<<": "<<x<<endl;
#define DEBUG_VEC(v) cout<<#v<<":";for(int i=0;i<v.size();i++) cout<<" "<<v[i]; cout<<endl

typedef long long ll;
#define vi vector<int>
#define vl vector<ll>
#define vii vector< vector<int> >
#define vll vector< vector<ll> >
#define vs vector<string>
#define pii pair<int,int>
#define pis pair<int,string>
#define psi pair<string,int>
#define pll pair<ll,ll>
#define fi first
#define se second
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define rep1(i,n) for(int i=1;i<=(int)(n);i++)
#define all(c) c.begin(),c.end()
const int inf = 1000000001;
const ll INF = 2e18;
#define MOD 1000000007
#define mod 1000000009
#define pi 3.14159265358979323846
#define Sp(p) cout<<setprecision(15)<< fixed<<p<<endl;
int dx[4] = { 1,0,-1,0 }, dy[4] = { 0,1,0,-1 };
int dx2[8] = { 1,1,0,-1,-1,-1,0,1 }, dy2[8] = { 0,1,1,1,0,-1,-1,-1 };


int main() {
	string s;
	cin >> s;
	reverse(s.begin(), s.end());
	if (s[0] != '2' && s[0] != '3' && s[0] != '4') {
		cout << "No" << endl;
		return 0;
	}
	int kuri = 1;
	rep1(i, s.size() - 1) {
		if (kuri && (s[i] == '3' || s[i] == '4' || s[i] == '5')) {
			continue;
		}
		else if (kuri && (s[i] == '7' || s[i] == '8')) {
			kuri = 0;
			continue;
		}
		else if (kuri && s[i] == '1') {
			if (i == s.size() - 1) {
				cout << "Yes" << endl;
				return 0;
			}
			else {
				cout << "No" << endl;
				return 0;
			}
		}
		else if (kuri) {
			cout << "No" << endl;
			return 0;
		}
		else if (!kuri && (s[i] == '6' || s[i] == '7')) {
			continue;
		}
		else {
			cout << "No" << endl;
			return 0;
		}
	}
	if (!kuri) {
		cout << "Yes" << endl;
	}
	else {
		cout << "No" << endl;
	}
	return 0;
}