It looks like the BoJ rang around the interbank players in Tokyo when USD/JPY was below 83.00. What we’re not yet sure about is how much was actually bought.