Now, what is the standard deviation of our sampling distribution? The standard deviation of our sampling distribution should be equal to the standard deviation of the population distribution divided by the square root of our sample size, so divided by the square root of 100. We do not know what the standard deviation of the entire population is. So what we're going to do is estimate it with our sample standard deviation. And that's a reasonable thing to do, especially because we have a nice sample size, a sample size greater than 100. So this is going to be a pretty good approximator for this over here. So we could say that this is going to be approximately equal to our sample standard deviation divided by the square root of 100, which is going to be equal to our sample standard deviation is 0.5 seconds.