25 percent of 7753 billion = 1938.25