Permalinks Post_ID format

Hi. I am wanting to format the post id number in my permalink settings. I would like to display post_id 25 as 000025. Is there an equivient to the format(x,”00000″) that I can use in setting my permalink format.

Thanks in advance