25 percent of 37.5 = 9.375