If mass-energy equvalence is taken into account, when water is cooled to form ice, the mass of ater should