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

	else:
		break

if num == 0:
	print("Yes")
	exit(0)
s = str(num)
for c in s:
	if not c in ['6','7']:
		print("No")
		exit(0)

print("Yes")