The inert gas which is substituted for nitrogen in the air used by deep sea divers for breathing, is