#include<bits/stdc++.h>
using namespace std;
int main(){
	string s;
	int sum=0;
	cin>>s;
	for(int i=0;i<s.length();i++){
		if((char)s[i]==51){
			sum++;	
		}
	}
	if(sum==3)cout<<"YES";
	else cout<<"NO";
	return 0;
}