Add or remove characters from library card number

Sometimes the library system stores library card characters (patron identifiers) in a different way than what is stored on the library cards. Typically, some characters need to be added or removed. This can be done via scripting: there is a script for modifying the patron identifier before it is sent to the library system.

The script is .NET script, so possibilities for modifying it are practically endless.