1.7 percent of 802500000 = 13642500.000000002