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