Florida Retirement System shareholding on 3 April 2009