In a bag of marbles, the ratio of red marbles to blue marbles is 7 to 3. If 12 blue marbles are added to the bag, and no red marbles are added, the ratio of red to blue marbles changes. To restore the original ratio, how many red marbles must be added to the bag?