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