#include<bits/stdc++.h>
using namespace std;
int m,k,ans=0;
int main(){
	cin>>m>>k;
	for(int i=0;i<=m;i++){
		if(m%10==3){
			ans++;
		}
		m/=10;
	}
	if(ans==k){
		cout<<"Yes";
	}
	else{
		cout<<"No";
	}
	return 0;
}

求救，已经过不了了，教练还让我们用函数写！（一个蒟蒻的愤怒）