Input (grade 10): João Carlos dos Santos or simply known as João Carlos (born September 10, 1972 in Sete Lagoas, Brazil) is a Brazilian football player.
Output (grade 9): João Carlos dos Santos (born 10 September 1972) is a former Brazilian football player.