In October, a zoo had 7,148 visitors. In November, the number of visitors to the zoo was 2 times more than the number of visitors in October. In December, the zoo had 15,124 more visitors than in November. How many people visited the zoo in December?