25 vdc power supply