Search for numbers < 4 characters and start with "0", then delete the starting zeros, PHP
<p>I have a .txt file of approx 4000 lines of numbers and text, e.g :</p>

<pre><code>01004 text 002
04122 text 242
76079 text 040
82752 text 032e
...
</code></pre>

<p>What I want to do is to remove all the zeros at the beginning of all numbers that is less than 4 characters long so that the list will become</p>

<pre><code>01004 text 2
04122 text 242
76079 text 40
82752 text 32e
...
</code></pre>

<p>Any help will be greatly appreciated :)</p>
