Actually you would use "%010d" to get the leading zeros. This one-liner

 perl -ne 'printf("%010d\n",$_)'<numbers.txt
[download]

will do the trick.

--

flounder