Surprisingly little compared to the volume of the oceans. Makes me wonder how much is in Mars' crust