3. There are some red and blue marbles in a box. We are told that there are twelve more red marbles than blue marbles, and we experimentally determine that when we pick a marble randomly we get a blue marble one quarter of the time. How many marbles are there in the box?