How big is the ocean?