s = raw_input()
if s.find("575")>=0:
    print"YES"
else:
    print"NO"