55 percent of 17 = 9.350000000000001