JOCKEY PUMP DEFINITION