If a population has a mean 5.7, what is the mean of the distribution of its means?