[PHP] string manipulation

[Matthew Oatham]

Hi I am trying to track down a method for transferring a database id such as 5 into a 
nice formatted order id such as ORD0005 - where the format for the order id is "ORD" + 
5 digits made up of the database id

Thanks

Matt