S=str(raw_input())
if '575' in S:
    print 'YES'
else:
    print 'NO'