main :: IO ()
main = putStrLn . f =<< getLine

f :: String -> String
f ""         = "NO"
f (x:[])     = "NO"
f (x:y:[])   = "NO"
f (x:y:z:xs) = if [x,y,z] == "575"
                    then "YES"
                    else f (y:z:xs)