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