A box contains five red marbles, seven white marbles, and four green marbles. A student is computing probabilities by drawing marbles out of the box. Drawing one marble, what is the probability that it is red?