function grep {