what is 20 percent of 9,500