#pragma GCC optimize(-2,-1,0,1,2,3)
#include<bits/stdc++.h>
using namespace std;
string s;
long long a[110],b[110],n;
bool p[110];
void dfs(int x,int k){
	if(x==s.size()){
		if(k%17==0){
			cout<<"YES";
			exit(0);
		}
		return;
	}
	for(int i=0;i<10;++i)
	if(a[i]){
		a[i]--;
		dfs(x+1,k*10+i);
		a[i]--;
	}
}
int main(){
	cin>>s;
	for(int i=0;i<s.size();++i)a[s[i]-'0']++;
	for(int i=1;i<10;++i)
	if(a[i]) a[i]--,dfs(2,i),a[i]++;
	cout<<"NO";
    return 0;
}