#include<iostream> // cin\cout\endl #include<cstdio> //scanf()\printf() #include<cstring> // strcpy()\strcat()\strcmp()\strlen()\memset() #include<cmath> //sqrt()\pow()\abs()\ceil()\floor()\max()\min() using namespace std; int main( ){ int n,k,s=0; cin>>n>>k; if(n%19!=0){ cout<<"NO"; return 0; } for(int i=1;n!=0;i++){ if(n%10==3){ s++; } n/=10; } if(s==k){ cout<<"YES"; }else{ cout<<"NO"; } }