Input (grade 12): Toninho Cerezo, real name Antônio Carlos Cerezo, (born 21 April 1955 in Belo Horizonte) is a former football (soccer) player from Brazil.
Output (grade 6): Ueslei Raimundo Pereira Cerezo (born 21 April 1955) is a former Brazilian football player.