How many professional baseball players?