my $line_number = 1;
while(defined ($line = <INPUT2>)){
  print $line_number++, ": ", $line;
  print DEBUG2 $line;
}