#include<iostream>
 using namespace std;
 int main(){
  int a,b,c,e=0;
	cin>>a>>b;
	c=a;
	while(c>0){
	if(c%10==3){
	e++;	
	}	
	c=c/10;
	}
	if(e==b){
		cout<<"Yes"<<endl;
	}else{
		cout<<"No"<<endl;
	}
	return 0;
 }