So over a few years they have paid tens of billions in dividends (and have done share buybacks in addition to that).