Input (grade 5): The first recorded use of grey as a color name in English was in 700 AD.
Output (grade 4): The first recorded use of gray as a color name in English was in 700.