#include <iostream> using namespace std; int main(){ int m,k,n,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"<<endl; }else{ cout<<"NO"<<endl; } }