#include <iostream>
#include <cstdio>
#include <string>
#include <vector>
#include <algorithm>
#include <numeric>
#include <map>
#include <math.h>
#include <cstring>

using namespace std;

#define REP(i,n)	for(int i=0;i<(n);++i)
#define REPS(i,s,t)	for(int i=(s);i<(t);++i)

#define INF 		2000000007
#define MOD			998244353

#define MAX 		100005

typedef unsigned int 			uint;
typedef unsigned long long int	ull;
typedef long long int ll;



int main(void) {
	string N;cin>>N;
	bool flag = true;

	if(N[0]=='1'){
		REPS(i,1,N.size()-1)if(N[i]!='3'&&N[i]!='4'&&N[i]!='5')flag=false;
		if(N[N.size()-1]!='2'&&N[N.size()-1]!='3'&&N[N.size()-1]!='4')flag = false;
	}
	else{
		if(N[0]!='6'&&N[0]!='7')flag=false;
		int i=0;
		while(N[++i]=='6'||N[i]=='7');
		if(i<N.size()-1){
			if(N[i]!='3'&&N[i]!='4'&&N[i]!='5'&&N[i]!='8')flag=false;
			if(N[i-1]=='6')flag = false;
			while(++i<N.size()-1)if(N[i]!='3'&&N[i]!='4'&&N[i]!='5')flag=false;
		}
		if(N[N.size()-1]!='2'&&N[N.size()-1]!='3'&&N[N.size()-1]!='4')flag = false;
	}
	cout << (flag ? "Yes" : "No") << endl;

    return 0;
}