#include "iostream"
#include "math.h"
using namespace std;
int main()
{
    string str;
    int k;
    cin>>str>>k;
    int sum=0;
    int count=0;
    for(int i=0;i<str.length();i++)
    {
        if(str.at(i)=='3')
            count++;
        sum+=(str.at(str.length()-1-i)-48)*pow(10,i);
    }
//    cout<<sum<<" "<<count<<endl;
    if(sum%19==0&&count==k)
    {
        cout<<"YES";
    }else{
        cout<<"NO";
    }
    return 0;
}