Original: Antônio Lima dos Santos, known as Lima (born 18 January 1942) is a former Brazilian footballer.
Simplified: He has played for Brazil national team.