let () =
  read_line ()
  |> fun l -> Str.string_match (Str.regexp  ".*575.*") l 0
  |> (function | true -> "YES" | _ -> "NO")
  |> print_endline