import strutils
let s = readLine(stdin)
if s.contains("575"):
    echo "YES"
else:
    echo "NO"