If the pressure of a gas is doubled at constant temperature, then the velocity of sound in the gas becomes :

(1) unchanged
(2) √2 times
(3) half
(4) double