#include<bits/stdc++.h>
#include<iostream>
#include<cstdio>
using namespace std;
int pd(int m)
{
	int cnt=0;
	int s;
	while(m>0)
	{
		s = m%10;
		m/=10;
		if(s==3)
		{
			cnt++;
		}
	}
	return cnt;
}
int main()
{
long long m,k;
cin>> m >>k; 
if(pd(m)==k)
{
	cout <<"YES";
}
else 
{
	cout <<"NO";
}
return 0;
}