The variance of a given distribution is 25. What is the standard deviation?