text: AntÃ nio Lima dos Santos , known as Lima ( born 18 January 1942 in SÃ # o SebastiÃ # o do ParaÃ so ) is a former Brazilian footballer .
simplified: AntÃ nio Lima dos Santos ( born 18 January , 1942 ) is a former Brazilian football player .