#include<iostream> using namespace std; int main() {int m,k,c,e=0,d,f; cin>>m>>k; f=m; for(c=1;f!=0;c++) {d=f%10; if(d/3.0==1) e++; f/=10;} if((m%19==0)&&(e==k)) cout<<"YES"<<endl; else cout<<"NO"<<endl; return 0; }