The 20 billion figure is from Pinksheets. Look at the company info tab. Until today there wasn't a discrepency.