It is not 9, but 7,5. And it is not in the bank, it is cash & equivalent (if they have it in the bank, the shareholders should be unhappy - the company does not know what to do with the money).

They have also 26b in retained earnings. Do their shareholders get enough return on capital gain? (to answer myself: if you bought it 1 year ago, then yes; 2 years ago - no).