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