#include<iostream> using namespace std; int main(){ int m,s,k,g,kg=0,m2,a; cin>>m>>k; s=m; m2=s; while(s!=0){ s=s/10; g++; } for(int i=1;i<=g;i++){ a=m%10; if(a==3)kg++; m=m/10; } if(m2%19==0&&kg==k)cout<<"YES"; else cout<<"NO"; return 0; }