normal distribution mean 17.5, standard deviation 0.5