print grep { /$pattern/ } <F2>;