Input (grade 13): Pedro Virgilio Rocha Franchetti (born 3 December 1942 in Salto) is a former Uruguayan footballer who played 52 games for the Uruguay national team between 1961 and 1974 rsssf: Uruguay record international footballers.
Output (grade 7): Pedro Rocha (born 3 December 1942) is a former Uruguayan football player.