title: Make 4 digit integer from one, two, or three digits integer in PHP
body: <p>I'am doing a call to a database to retrieve an ID of a specific item. Usually there are the ids like: <code>1, 2, 14, 23, ...</code>. I need to get the ID from a DB and output it 4 digit number.</p>
  
  <p>For exemple:
  My result ID is: <code>1</code>. Now i when i have this value, i want it to become <code>0001</code>. Or if my result id is <code>13</code>, it should became <code>0013</code>, etc.</p>
  
  <p>How can i achieve that with php without changing the real ID in database?</p>