17 percent of 42 = 7.140000000000001