The easiest way is to buy a 3 pin external use cable connector which you can use to fix the damage. The piece with the pins goes to the machine, the piece with the sockets goes to the mains end. Observe polarity - blue to blue, brown to brown. The connector should give you measurements of how much cable to prepare, etc.
John
June 2008