Knox has a bag with four red marbles, five blue marbles, and six green marbles. Suppose that Knox is equally likely to pick any individual marble from the bag. What is the probability that he will randomly pull a red marble from the bag?