31.5 percent of 1350000000000 = 425250000000