#include <iostream> using namespace std; int main(){ int m,k,i,n; 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; } return 0; }