A box contains 5 red, 7 blue, and 8 green marbles. If a marble is drawn at random, what is the probability it is not green?