I have seen on the home page that total amount of tokens available is 500,000,000. But how much for main sale?