Original: Antônio Lima dos Santos , known as Lima ( born 18 January 1942 ) is a former Brazilian footballer .
Simplified: Antônio Lima dos Santos ( born 18 January , 1942 ) is a former Brazilian football player .