Input (grade 11): 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.
Output (grade 9): AntÃ nio Lima dos Santos (born 18 January, 1942) is a former Brazilian football player.