This leaves only 15.369839 mil coins.   heh heh  and stake coins at 13% to be mined.
Destruction of coins its like dropping a bomb on the dumpers  lol.