if input()[0][0] not in "45": print("No") else: print("Yes")