Florida Retirement System shareholding on 2 February 2009