print("YNeos"[int(input())!=45::2])