Mains cable to repair a vacuum cleaner (Wirksworth DE4)

Has anyone got approximately 12m of mains cable, roughly 6mm in diameter, lying around unused please. Maybe an old broken extension lead or vacuum cleaner? I need some to replace my damaged vacuum cleaner cable.

Many thanks in advance.