Input (grade 12): 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.
Output (grade 5): Pedro Rocha (born 3 December 1942) is a former Uruguayan football player. He has played for Uruguay national team.