But is it going to be paid for in RMB? If so, China could buy back the RMB using US$ and thereby reducing its USD holding.