S = str(input())
for i in range(len(S)-2):
	if S[i:i+3] == '575':
		print('YES');break
else:
	print('NO')