#include<stdio.h>

int main(){

int m=0,k=0,c=0,i=0;

scanf("%d %d",&m,&k);

while(m>0){

c=m%10;

m/=10;if(c==k){

i++;

}}

if(m%19==0&&i>1&&i<5){

printf("YES");

}else{printf("NO");

}

return 0;

}