m,k=map(int,input().split()) n=0 if m//19!=0: print("NO") else: while m%10!=3: m=m//10 if m%10==3: n=n+1 if n==k: print("YES") else: print("NO")