Input (grade 8): Antônio Lima dos Santos (born 18 January 1942) is a former Brazilian footballer.
Output (grade 9): Antônio Lima dos Santos (born 18 January, 1942) is a former Brazilian football player.