#include<stdio.h>
int main()
{
 long long int m;
 int k,x=0,i,b;
 scanf("%ld%d",&m,&k);
 i=m;
 for(i;i>0;i=m/10)
 {
 m=i;
 b=m%10;
 if(b==3) ++x;
 }
 if(x==k) printf("YES\n");
 else printf("NO\n");
 return 0;
}