Their holding is above 5%. I’d be concerned if it fell under 5%.We all have to manage our portfolios. 6% of potentially $20B+ is a very nice return on investment.