I've seen the pin from a 15A round pin plug used too.
As others have said it will be 3/16 diameter copper (if it's as old as mine it was made long before metrication). You can get 3/16 round copper bar for £3 a foot including VAT and carriage from Chronos:
formatting link