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