text: NÃ lson LuÃ s Kerchner , nicknamed Nelsinho ( born December 31 , 1962 in SÃ # o Paulo , Brazil ) is a retired Brazilian football player .
simplified: Nelson LuÃ s Kerchner ( born 31 December 1962 ) is a former Brazilian football player .