#include<iostream>
using namespace std;
int main()
{
	int k,m,n,b,a=0;
	cin>>m>>k;
	if(m%19==0)a++;
	while(m==0)
	{
		n=m%10;
		if(n==3) b++;
		m/=10;
	}
	if(b==k) a++;
	if(a==2) cout<<"YES";
	else cout<<"NO";
	return 0;
}