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


val () =
    let
        val n = readStr ()
        val ans =
            if List.all (fn ch => ch = #"9") (String.explode n) then "Yes"
            else "No"
    in
        print (ans ^ "\n")
    end