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

	return 0;
	
}