#include<bits/stdc++.h>
using namespace std;
int main()
{
    long long m,k,n=0;
    cin>>m>>k;
    while(m>10)
    {
        if (m%10==3) {n++;m=m/10;}
        else m=m/10;
    }
    if (n<k-1) cout<<"NO";
    else if (m==3&&n==k-1) cout<<"YES";
    else if (m!=3&&n==k-1) cout<<"NO";
    else cout<<"YES";
    return 0;
}