A sample of 100 footballs showed an average air pressure of 13 psi. The standard deviation of the population is known to be .25 psi. What is the standard error of the mean?