Input (grade 13): JoÃ # o Carlos Batista Pinheiro, Pinheiro (Campos dos Goytacazes, January 13, 1932), was a Brazilian footballer who achieved notoriety playing for Fluminense and the Brazilian national football team.
Output (grade 8): JoÃ # o Carlos Batista Pinheiro (born 13 January, 1932) is a former Brazilian football player.