Input (grade 10): Jair Marinho de Oliveira (born 17 July 1936), nicknamed Jair Marinho, is a Brazilian former football (soccer) player.
Output (grade 8): Jair Marinho de Oliveira (born 17 July, 1936) is a former Brazilian football player.