we have 4,500 masternodes and we need 1,000 DASH for 1 masternode - its about 4,500,000 DASH, but we have only 7,500,000 DASH mined. So, we have only 3,000,000 DASH on the market?..