#include<stdio>

int main()
{
	long long m;
	int k;
	scanf("%lld %d", &m, &k);
	int count = 0;
	while (1)
	{
		if (m % 10 == 3)
		{
			count++;
		}
		if (count == k)
		{
			printf("YES");
			break;
		}
		if (m==0)
		{
			printf("NO");
			break;
		}
		else
		{
			m /= 10;
		}
	}
	return 0;
}