How long is the power cable on a Varipump?

The cable from the mains to the control box is 2metres, the cable from the control box to the pump is 10metres, this makes the total length 12metres.