hedgehog pump (HEDGEHOG)