A gas occupies 15 liters at a pressure of 80.0 mm Hg. What is the volume when the pressure is increased to 100.0 mm Hg?