A box contains 3 red, 4 blue, and 5 green marbles. If one marble is drawn at random, what is the probability it is not blue?