Help for this page
*header abcdefghik ... *header a....
while ($file=<INPUT1>){ ... print OUTFILE "$header\n"; }