There are 20 cars in my building’s parking lot. All of the cars are red or white. 12 of them are red, 15 of them are 4-door, and 4 of them are 2-door and white. How many of the cars are 4-door and red?