#include<iostream>
using namespace std;
bool isdigit_x(int x,int k,int n){
    int ans;
    while(x!=0){
        int sum=x%10;
        if(sum==n){
            ans++;
        }
        x/=10;
    }
    if(ans==k)return true;
    else return false;
}
int main()
{
    int m,k;
    cin >> m >> k;
    if(isdigit_x(m,k,3)==true)cout << "YES" << endl;
    else cout << "NO" << endl;
    return 0;
}