fun readStr () =
    let
        fun scan reader stream = SOME (StringCvt.splitl (not o Char.isSpace) reader (StringCvt.skipWS reader stream))
    in
        valOf (TextIO.scanStream scan TextIO.stdIn)
    end


fun findAns s =
    let
        fun findAnsAux nil = false
          | findAnsAux (#"5" :: #"7" :: #"5" :: _) = true
          | findAnsAux (h :: tl) = findAnsAux tl
    in
        findAnsAux (String.explode s)
    end


val () =
    let
        val s = readStr ()

        val ans = if findAns s then "YES"
                  else "NO"
    in
        print (ans ^ "\n")  
    end