Question: when did ceylon change its name to sri lanka?
Answer: 1972