Original: 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 .
Simplified: João Carlos dos Santos ( born 10 September 1972 ) is a former Brazilian football player .