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: "Joan of Bar was niece to a a King of England but in which year did he gain this title?" whose answer is 1307.
Each document should contain about 30 words, and these documents should contain useful information.

Query: when did henry vi become king of england
Useful Output:

Doc 1: At the age of 7 Henry VI was crowned King of England at Westminster Abbey on 6th November 1429. He was later crowned King of France at Notre
Doc 2: Henry VI (1421–1471) was not a successful king. Having inherited the throne as an infant, his incompetency for government was a contributing
Doc 3: Henry VI of England ruled as king from 1422 to 1461 and again from 1470 to 1471. Succeeding his father Henry V of England (r. 1413-1422), Henry VI was
Doc 4: Henry VI, king of England from 1422 to 1461 and from 1470 to 1471, a pious and studious recluse whose incapacity for government was one of
Doc 5: Henry VI was crowned King of England on 6 November 1429, and of France on 16 December 1431. He is the only monarch to have been crowned king of