d.c. power supply