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: "when did ceylon change its name to sri lanka?" whose answer is 1972.
Each document should contain about 30 words, and these documents should contain useful information.

Query: when did ceylon change its name to sri lanka
Useful Output:

Doc 1: Country name · Government type · Capital · Administrative divisions · Independence · National holiday · Legal system · Constitution
Doc 2: 1972 - Ceylon becomes a republic and changes its name to Sri Lanka. Buddhism is given primary place as the country's religion, further
Doc 3: 1972. Sri Lanka adopted as country name change from Ceylon. 1971. Bahrain; State of Bahrain gained independence from United Kingdom and
Doc 4: In 1972, the island nation of Ceylon changed its name to Sri Lanka, a term rooted in the Sinhalese language, and declared itself a republic.
Doc 5: It was Sinhaledeepa, or Simhale. Ceylon is a far more accurate name relating to that original name transliterated into the English alphabet.