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