This is dependent on our sample. So it's going to wiggle around a little bit, depending on what numbers we actually get in our sample. But it's going to be 0.50. This is the s right here. This is the s right over here. This 0.50 divided by 10, which is equal to 0.05. So our best estimate of this standard deviation is 0.05, or you could even view it as 5%.