海胆は大阪産だったのか