How much will HydroStream go up when the armory gets removed? Approximately. I have 1,500 at 9 cents.”