How many NYSE traders are there?

Can you answer this question?