Gross domestic product (GDP) is a measure of the economic output of a country. The GDP of the United States was about 1.2 x 10^13 dollars in 2005. This is about 3 times the GDP in 1985. What was the U.S. GDP in 1985?
4 x 10^2
4 x 10^3
4 x 10^12
4 x 10^13