pump.cock (pumpcock)