#include<bits/stdc++.h>
using namespace std;
int n,s=0,k; 
int main()
{
	cin >>n>>k;
	while (n!=0)
	{
		n%10;
		n=n/10;
		if (n==3)
		{
			s++;
		}
	}
	if (n/19==0) cout <<"YES";	
	else cout <<"NO";
	return 0;
}