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