a,b=map(int,input().split())
a=str(a)
list1=list(a)
total=0
for ele in range(1,len(list1)):
    if a[ele]=="3":
        total=total+1
if total==b:
    print("YES")
else:
    print("NO")