CorrectPostCode = Left(WrongPostCode, Len(WrongPostCode) - 3) & " " & Right(WrongPostCode, 3).
Regardless of how many characters in the postcode, it consists of two parts an Outcode and an Incode, the second part is the Incode which is always three characters Number, Letter, Letter.
Hope this...