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 9): João Carlos Batista Pinheiro (born 13 January, 1932) is a former Brazilian football player.