#include<bits/stdc++.h> using namespace std; int main() { int m,k; cin>>m>>k; if(m%190) { int cnt=0; while(m) { int t=m%10; if(t3) cnt++; m/=10; } if(cnt==k) cout<<"YES"; else cout<<"NO"; } else { cout<<"NO"; } return 0; }