def judge(s, i):
	if s[i-2] == '5':
		if s[i-1] == '7':
			if s[i] == '5':
				return True
	return False

s = raw_input()
flag = False
for i in range(2, len(s)):
	if judge(s, i):
		flag = True
		break

if flag:
	print 'YES'
else:
	print 'NO'