How is the EDAN SE1200E-B ECG powered?

The device can either be powered by mains or battery.