Iroha loves _Haiku_. Haiku is a short form of Japanese poetry. A Haiku consists of three phrases with 5, 7 and 5 syllables, in this order.  To create a Haiku, Iroha has come up with three different phrases. These phrases have A, B and C syllables, respectively. Determine whether she can construct a Haiku by using each of the phrases once, in some order.
s = str(input())
print('5'*2 in s and '7' in s)
a, b, c = map(int, input().split())
if (b == c == 5 and a == 7 or a == c == 5 and b == 7 or  a == b == 5 and c == 7):
  print('YES')
else:
  print('NO')