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