and what is the current market cap?