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 64 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 nation average at=.05