while(<PAGE>)
{
    if (/pond/)
    {        print "$_";
     }
}
close(PAGE);