Input (grade 9): José Antônio Martins Galvão or simply Galvão (born July 8, 1982, in Lins, Brazil) is a Brazilian striker who plays for Ventforet Kofu.
Output (grade 7): José Antônio Martins Galvão (born 8 July, 1982) is a Brazilian football player.