Hello captain_farrell.
You can create a new numerator and change "ticket numerator" setting of all departments. While creating that numerator you should prefix number format with a letter to avoid duplicates. # char indicates the numeric digits. For example if you set "Number Format" as "A-####" it will generate A-0001, A-0002 and so on. When it reaches to nine thousands you can create another one with letter B.
Hint1: If you don't prefix numbers you'll have multiple tickets with same number and that will cause issues while searching for tickets by numbers.
Hint2: Don't forget to restart all terminals after this change.