#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){ sum++; } } } if(sum==k) cout<<"YES"; else cout<<"NO"; return 0; }