It is known that, nationally, doctors working for HMOs average 13.5 years of experience in their specialties, with a standard deviation of 7.6 years. The distribution is a normal distribution. The executive director of an HMO in a western state is interested in determining whether or not its doctors have less experience than the national average. A random sample of 25 doctors from the HMO shows a mean of only 10.9 years of experience. State the research and null hypotheses to test whether or not doctors in this HMO have less experience than the national average at alpha=0.05