For an enclosed gas with a constant temperature, the pressure of the gas changes from 15 atm to 30 atm. What happens to the volume of the gas?