when the pump ???