p = int(input())
l = len(str(p))
i = 0
while len(str(p)) > i:
	if str(p)[l-1-i] == '2':
		p -= 12 * (10**i)

	elif str(p)[l-1-i] == '3':
		p -= 13 * (10**i)

	elif str(p)[l-1-i] == '4':
		p -= 14 * (10**i)

	else:
		break
	i += 1

if p == 0 or p == 7 * (10**i) or p == 6 * (10**i):
	print("Yes")
else:
	print("No")