U.S. real gross domestic product changed from $14.2 trillion in 2005 to $14.8 trillion in 2010. During that same time period, the share of manufactured goods (e.g., cars, appliances) of U.S. real gross domestic product was 12.5 percent in 2005 and 12.3 percent in 2010. What was the dollar value of manufactured output?