Martin has an empty bag and puts in 3 red marbles. He now wants to put in enough green marbles so the probability of drawing a red marble at random from the bags is 1⁄4. How many green marbles should he put in?