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