A car leasing firm's records indicate that the mean number of miles driven annually in its cars has been about 13750 miles. The firm suspects that this number has decreased this past year. Suppose that the firm wishes to choose a small sample of driving distances from the past year and carry out a hypothesis test for its suspicion. State the null hypothesis H0 and the alternative hypothesis Ha that it would use for this test.