#include<bits/stdc++.h>
using namespace std;
int main()
{
	int m,k;
	cin>>m>>k;
	if(m%19==0){
		int cnt=0;//统计有多少个3
		//数位分解 
		while(m!=0){
			//m%10就是当前的个位 
			if(m%10==3)
				cnt++; 
			m=m/10;//把当前的个位去掉 
		} 		
		//判断有没有k个3 
		if(cnt==k){
			cout<<"YES\n";	
		} 
		else{
			cout<<"NO\n";
		}		
	}
	else{
		cout<<"NO\n";	
	} 	
	return 0;
}

#include <bits/stdc++.h>
using namespace std;
int main()
{
    //输入
    int m, k;
    cin >> m >> k;
    //统计 m 中 3 的个数
    int cnt3 = 0;
    int mm = m; //复制一份，保证原本的 m 没被修改
    while (mm > 0)
    {
        //判断个位是否为 3
        if (mm % 10 == 3)
            cnt3++;
        //去掉个位
        mm /= 10;
    }
    //按条件输出
    if (cnt3 == k && m % 19 == 0)
        cout << "YES";
    else
        cout << "NO";
    return 0;
}