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

つまりこんなもんだな