Input (grade 10): JosÃ Antonio Reyes CalderÃ n (born 1 September 1983) is a Spanish professional footballer who plays for AtlÃ tico Madrid.
Output (grade 8): JosÃ Antonio Reyes (born 1 September 1983) is a Spanish football player.