import qualified Data.List as L
import qualified Data.Text as T

solve :: T.Text -> String
solve xs
    | L.length xs' > 1  = "YES"
    | otherwise         = "NO"
    where
        xs' = T.splitOn fsf xs
        fsf = T.pack "575"

main = getLine >>= putStrLn . solve . T.pack