m,k=input().split() a=m.count("3") if int(m)%19==0 and a==int(k): print("YES") else: print("NO")