Still a LOT I need to learn about PHP obviously.

I got a number (which is the id of a new record).

Now I want to build custom reference number (co_code-type_code-country-code-nnn-nnn-nnn)

So say i have anumber 1234 my reference number will look like SP-AG-CH-000-001-234)

So my question is how to make 1234, a string that will be 000-001-234?