import sequtils,strutils
var
    S = stdin.readline
block main:
    for i,s in S:
        if i > S.len - 3:
            break
        if s == '5' and S[i + 1] == '7' and S[i + 2] == '5':
            echo "YES"
            break main
    echo "NO"