#include<bits/stdc++.h>
using namespace std;
int main()
{
    long long m,k,num=0;
    cin>>m>>k;
    if(m%19==0)
    {
        for(int i=1;i<=k;i++)
        {
            long long x;
            x=k%10;
            if(x==3)
            {
                num++;
            }
            x/=10;
        }
    }
    if(num==k)
    {
    	cout<<"YES";
	}
	else
	{
		cout<<"NO";
	}
    return 0;
}