17 percent of 56.1 million = 9537000