[inp]

You can apply the awk command on a pipe, and so it is applies on each line of the file/stream.

[darrenf]

Right - though that's solvable with xargs:

    $ echo "0005" | xargs printf '%d\n'
    5

That said, my suggestion doesn't work anyway since the leading 0 marks it as octal, d'oh (as mentioned elsewhere in the thread).