let () =
    stdin.ReadLine()
    |> fun s -> s.IndexOf("575") >= 0
    |> (function | true -> "YES" | _ -> "NO")
    |> printfn "%s"