So it's going to be the variance of the population divided by n. And if you wanted the standard deviation of this distribution right here, you just take the square root of both sides. You take the square root of both sides of that. We have the standard deviation of the sample mean is going to be equal to, the square root of this side over here, is going to be equal to the standard deviation of the population divided by the square root of n. And what's this going to be in our case? We know what the standard deviation of the population is. It is 0.7. And what is n? We have 50 men.