p = input()
num = int(p)
while True:
	if str(num)[-1] in ['2','3','4']:
		num //= 10
		num -= 1

	else:
		break

if num in [0,7,6]:
	print("Yes")
else:
	print("No")