while (<FILE1>)
        {    $hline=<FILE1>;
                push (@hlines,$hline);
        }