How many hundreds of millions of dollars have they bought in government bonds?