title: Trim any zeros at the beginning of a string using PHP
body: <p>Users will be filling a field in with numbers relating to their account.  Unfortunately, some users will have zeroes prefixed to the beginning of the number to make up a six digit number (e.g. 000123, 001234) and others won't (e.g. 123, 1234).  I want to 'trim' the numbers from users that have been prefixed with zeros in front so if a user enters 000123, it will remove the zeroes to become 123.</p>
  
  <p>I've had a look at trim and substr but I don't believe these will do the job?</p>