So this is going to be our sample variance 1, or actually our sample standard deviation 1 squared, which is the sample variance for that distribution, over 100, plus my sample standard deviation for the control squared, which is the sample variance, standard deviation squared is just the variance, divided by 100. And this will give us the variance for this distribution. And if we want the standard deviation, we just take the square roots of both sides. If we want the standard deviation of this distribution right here, this is the variance right now, so we just need to take the square root. So let's calculate this. We actually know these values. S1, our sample standard deviation for group 1 is 4.67.