#include<bits/stdc++.h>
using namespace std;
int main(){
	long long a,b,e,w=0,r,q=0;
	cin>>a>>b;
	e=a;
	while(e>0){
		e=e/10;
		w++;
	}
	for(int i=1;i<=w;i++){
		r=a%10;
		if(r==3)q++;
		a/=10;
	}
	if(q==3)cout<<"YES";
	else
		cout<<"NO";
	return 0;
}