check the spreadsheet that has been mentioned many times before, to see how many addresses received coins also check ANN OP for amount of coins each user received it is all there. once you got that info get a calculator and  do:  amount of coins per user X number of addy´s receiving coins = the magic number answr to your question.