#include<bits/stdc++.h> using namespace std; int main(){ long int m; int k,cnt=0,w; cin>>m>>k; bool a=true; if(m%19!=0){ a=false; } while(m!=0){ w=m%10; m/=10; if(w==3){ cnt++; } } if(cnt!=k){ a=false; } if(a==false){ cout<<"NO"; }else{ cout<<"YES"; } return 0; }