Input (grade 13): AntÃ nio Dias dos Santos, best known as Toninho (born in Vera Cruz, Bahia State, June 7, 1948 - died December 8, 1999) was a Brazilian football (soccer) player in defender role.
Output (grade 7): AntÃ nio Dias dos Santos (born 7 June, 1948) is a former Brazilian football player.