import sys
sys.setrecursionlimit(1000000)
def debug(*args, **kwd):
    import os
    if os.getenv('DEBUG'): print(*args, **kwd, file=sys.stderr)

def input():
    return sys.stdin.readline()[:-1]

def main(_=0):
    print(["NO", "YES"][input().count('575') > 0])

def as_input(s: str) -> None:
    import io
    global input
    f = io.StringIO(s)
    input = lambda: f.readline().rstrip()
    return None

sample1 = """a575z
"""
sample2 = """57Z5
"""
def test():
    """
    >>> main(as_input(sample1))
    YES
    >>> main(as_input(sample2))
    NO
    """
    pass

if __name__ == '__main__':
    main()