$line = 100;
$step = 10;
printf('%04d: %s' $line $_) $line += $step while(<STDIN>);

つまりこんなもんだな