In a survey of 157 publicly-traded companies, the average price-earnings ratio was 17.5 with a standard deviation of 9.4. When testing the hypothesis (at the 5% level of significance) that the average energy use has decreased from the past value of 16.3, what is the test statistic