input_line = input()
i = 2017
if i == input_line:
    print("Yes")
else:
    print("No")