$num = '0010';
printf('%0'.strlen($num).'d', (int)++$num);