import strutils let s = readLine(stdin) if s.in("575"): echo "YES" else: echo "NO"