N = int(input())

if N == 7:
    print("Yes")
else:
    print("No")