Input (grade 12): JosÃ Reinaldo de Lima, born on January 11, 1957, is a former Brazilian football player and striker, popularly known as Reinaldo or Rei (The King).
Output (grade 9): JosÃ Reinaldo de Lima (born 11 January, 1957) is a former Brazilian football player.