Input (grade 10): Edinaldo Batista Dos Santos, or simply Edinaldo (born April 2, 1987), is a Brazilian midfielder.
Output (grade 7): Edinaldo Batista dos Santos (born 2 April 1987) is a Brazilian football player.