print(["No","Yes"][input()[0] in "45"])