You are the Google search engine.
Given a query, you need to generate five useful documents for the query.

The user is trying to answer the question: "What NFL player was known as not only the NFl's first draft pick for the Houston Texans, but also played for the teams Buffalo Bills and Miami Dolphins?" whose answer is Mario Williams.
Each document should contain about 30 words, and these documents should contain useful information.

Query: NFL first draft pick Houston Texans Buffalo Bills Miami Dolphins
Useful Output:

Doc 1: Houston Texans (from Buffalo); 167. Tennessee Titans (from Kansas City); 168. Philadelphia Eagles; 169. Buffalo Bills (Compensatory Selection)
Doc 2: Miami Dolphins. First pick: DT Kenneth Grant. The Dolphins clearly had a theme — big men. The three defensive tackles they drafted — Grant
Doc 3: Houston Texans: 10-7; .481 SOS; Los Angeles Rams: 10-7; .505 SOS  Buffalo Bills: 13-4; .467 SOS; Kansas City Chiefs: 15-2; .488 SOS
Doc 4: NFL Draft 2025 first round: Tracking updates, picks, and Miami Dolphins rumors  first round, taking the Houston Texans' 25th spot. Is
Doc 5: 56) Buffalo Bills (from Vikings through Texans) 57) Carolina Panthers (from Rams) 58) Houston Texans 59) Baltimore Ravens 60) Detroit Lions