The weights of a certain brand of candies are normally distributed with a mean weight of 0.8538 g and a standard deviation of 0.0516 g. A sample of these candies came from a package containing 442 candies, and the package label stated that the net weight is 377.2 g. (If every package has 442 candies, the mean weight of the candies must exceed 377.2 442=0.8533 g for the net contents to weigh at least 377.2 g.)