#include <bits/stdc++.h>
using namespace std;

int main() {
    int m,k;
    cin>>m>>k;
    if(m%19){
        cout<<"NO";
    }
    else{
        int c=0;
        while(m>0){
            if(m%10==3) c++;
            m/=10;
        }
        if(c==k) cout<<"YES";
        else cout<<"NO";
    }
	return 0;
}