#include<bits/stdc++.h>
using namespace std;
int main()
{
    int sum=0,a,b;
    cin>>a>>b;
    int aa=a;
    while(aa!=0)
    {
        if(aa%10==3)
        sum++;
        aa/=10;
    }
    if(sum==b&&a%19==0)
    cout<<"YES";
    else
    cout<<"NO";
    return 0;
}//我是小牛逼，越来越牛逼！