if 10 dollars, then the capitalization would be about 20 billion $ .