while (<INPUTFILE>)
{
 last if $HeaderLines==$.;
 ProcessHeader($_);
};