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