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: "who plays the teacher in how the grinch stole christmas?" whose answer is Mary Stein.
Each document should contain about 30 words, and these documents should contain useful information.

Query: casting of how the grinch stole christmas
Useful Output:

Doc 1: The cast of 2000's How the Grinch Stole Christmas with Jim Carrey · Jim Carrey as The Grinch · Taylor Momsen as Cindy Lou Who · Jeffrey Tambor as
Doc 2: Benedict Cumberbatch, Rashida Jones, Angela Lansbury, Kenan Thompson, Pharrell Williams and more are the voices for Illumination's take on Dr. Seuss' holiday
Doc 3: 'The Grinch' Cast Then & Now: See Taylor Momsen All Grown Up & More After 23 Years · Jim Carrey · Taylor Momsen · Christine Baranski · Jeffrey
Doc 4: Directed by Ron Howard, the film starred Jim Carrey, Christine Baranski, and a young Taylor Momsen among a well-known cast.
Doc 5: Videos by ComicBook.com · Jim Carrey (The Grinch) · Taylor Momsen (Cindy Lou Who) · Christine Baranski (Martha May Whovier) · Jeffrey Tambor (Mayor