#include <bits/stdc++.h>
#define rep(i,n)for(int i=0;i<(n);i++)
using namespace std;

bool dp[400000][2][2];
int d[]{0,6,7};

int main(){
	string s;cin>>s;
	if(s.size()==1){
		if(s[0]<='7'){
			puts("No");return 0;
		}
	}
	reverse(s.begin(),s.end());
	dp[0][0][0]=true;
	rep(i,s.size())rep(j,2)rep(k,2){
		if(dp[i][j][k]==false)continue;
		int K;
		if(i==0)K=0;
		else if(j||k)K=0;
		else K=1;
		rep(t,3)rep(l,3){
			if((j&&t)||(k&&l))continue;
			if((d[t]+d[l]+K)%10==s[i]-'0'){
				if(t==0||l==0){
					if(i==0)continue;
				}
				dp[i+1][t==0][l==0]=true;
			}
		}
	}
	bool flag=false;
	rep(i,2)rep(j,2){
		if(i==0&&j==0)continue;
		if(dp[s.size()][i][j])flag=true;
	}
	puts(flag?"Yes":"No");
}