text: 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 .