pump, alternating-current electromagnet