A car dealership sold 80 cars. Of all the cars sold, 15% of them were red. How many cars that were sold were red?