How Heavy Is Radon Gas