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