((mass of all oceans)*(oceans typical salinity)/(density of halite))