A car leasing firm's records indicate that the mean number of miles driven annually in its cars has been about 12750 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 and the alternative hypothesis that it would use for this test.