#include <stdio.h>
int main(void)
{
    long long m,j;
    int k,c=0 ;
    scanf("%d %d",&m,&k);
    int a[16],i;
    for(i=1;i<=15;i++)
    {
        int h=1;
        for(j=2;j<=i;j++)
            h*=10;
        a[i]=m/h%10;
        if(a[i]==3)
            c++;
    }
    if(k==c)
    printf("YES");
    else
    printf("NO");
    return 0;
}