To do this you should only need to change one line by inserting an extra four characters.

print ++$i, " ...";
printf "%03d ...", ++$i;
[download]

Hmm, its an extra 5 characters, not 4, which means he probably started with printf.