The average depth of the Arctic Ocean is 4 x 10^3 feet while the average depth of the Atlantic Ocean is 1.2 × 10^4 feet. How many times more deep is the Atlantic Ocean than the Arctic Ocean?