The average depth of the ocean is 3730m. The marianas trench is 11033m deep. How many times deeper is the marinas trench in the average depth of the ocean