I want to take a given prefix, and completely replace any number in that range with a specified number.

Example:

1234XXXXXXX

Should be dialing as:

9876543

I thought about using:

1234.|9876543

... in the trunks dialling rules (I have 1234. going to one specific trunk in a defined outbound route). But I was unsure as to whether I could have a wildcard "." before the pipe "|".

My trunks are defined in Asterisk, but not all connected yet, and I need this one to work on one of the as-yet unconnected ones, so cant really test it right now.

Have I got it right?