the 5,000 principal stocks quoted in the United Kingdom."