print("NYoe s"[input()[0]in"45"::2])