let inpt = readLine()!.map{$0}

var ans = "NO"

if(inpt.count >= 3) {
    for i in 2..<inpt.count {
        if(inpt[i] == "5" && inpt[i-1] == "7" && inpt[i-2] == "5") {
            ans = "YES"
            break
        }
    }
}

print(ans)