#include<iostream> using namespace std; int main(){ int m,k,n=0,v; cin>>m>>k; if(m%19==0){ while(m!=0){ v=m%10; m=m/10; if(v==3)n++; } } if(n=k)cout<<"Yes"<<endl; else cout<<"No"<<endl; return 0; }