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